A Logic for Abstract State Machines. - Robert F. Stärk; Stanislas Nanchen (J. Univers. Comput. Sci., 2001)

A Security Logic for Abstract State Machines. - Stanislas Nanchen; Robert F. Stärk (Abstract State Machines, 2004)

A logic for secure memory access of abstract state machines. - Stanislas Nanchen; Robert F. Stärk (Theor. Comput. Sci., 2005)