Pérez-Jiménez, M. J., & Sancho-Caparrini F.  (2005).??Formal verification of programs in molecular models with random access memory.  (Mario J. Pérez-Jiménez, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Recent results in Natural Computing.  205-229.