The Formal Verification of Generic Interpreters (1990)

by P J WINDLEY