Formal Modeling of Virtual Machines (1978)

by A B Cremers, T N Hibbard
Venue:IEE on Software Engineering, SE-4 No 5:426–436