Ein Beitrag zur Anwendung des Prinzips der gleichungsorientierten Simulation zur Berechnung des statischen Verhaltens verfahrenstechnischer Systeme. - Werner Gabrisch (1981)

A Hoare-style verification calculus for control state ASMs. - Werner Gabrisch; Wolf Zimmermann (BCI, 2012)

Decomposition of verification of machine programs based on control-state Abstract State Machines. - Werner Gabrisch (BCI (Local), 2013)