Machine Characterization Based on an Abstract High-Level Language Machine (1989)

by R Saavedra-Barrera, A Smith, E Miya
Venue:IEEE Transactions on Computers