Title: The formal specification of an abstract machine:  design and implementation
Subjects: Computer Science