Recursive abstract state machines (1997)

by Yuri Gurevich , Karl Stroetmann
Venue:J. of Universal Computer Science
Citations:18 - 4 self