Recursive abstract state machines (1997)

by Yuri Gurevich, Marc Spielmann
Venue:J. of Universal Computer Science