Sequential Abstract State Machines (2000)

by Y Gurevich
Venue:ACM Transactions on Computational Logic