Abstract State Machines: A Unifying View of Models of Computation and (0)

by Egon Börger
Venue:of System Design Frameworks”, Annals of Pure and Applied Logic 133 (2005), 149–171