Full version available in (1994)

by Michael Wright, Mark L. J
Venue:In ACM Symposium on Lisp and Functional Programming (LFP