Modeling Metabolic Pathways using Graph Grammars. - Marcelo Cezar Pinto; Leila Ribeiro 001 (WOB, 2004)

Modeling and Property Verification of Lactose Operon Regulation. - Marcelo Cezar Pinto; Luciana Foss; José C. M. Mombach; Leila Ribeiro 001 (BSB, 2005)

Modelling, property verification and behavioural equivalence of lactose operon regulation. - Marcelo Cezar Pinto; Luciana Foss; José Carlos Merino Mombach; Leila Ribeiro 001 (Comput. Biol. Medicine, 2007)