2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/33085An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998.Also maintained as a BibTeX file at http://www.eecs.umich.edu/gasm/Software EngineeringD.2.4text