The formal specification of an abstract machine: design and implementationJohn Marshall Yurchak · First published 1984Open the Tome
