The SECD Machine: A Verification Case Study. SECS178 (1992)

by Brian T Graham