Towards a methodology for the design of abstract machines (1993)

by U Nilsson
Venue:Journal of Logic Programming