Abstract State Machines: A Generic Model of Computation (2010)

by Nachum Dershowitz