From operational semantics to abstract machines (1992)

by John Hannan , Dale Miller
Venue:Mathematical Structures in Computer Science
Citations:59 - 6 self