Title: The formal verification of generic interpreters
First published: 1991
Subjects: Generic interpreters, Verification