Full version available in (1994)

by Andrew K Wright, Matthias Felleisen
Venue:In ACM Symposium on Lisp and Functional Programming (LFP