From operational semantics to abstract machines (1992)

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