3 works on record
Abstract State Machines 2003 : Advances in Theory and Practice
Logic, Computation and Rigorous Methods
Rigorous State-Based Methods