Millicent E. Selsam
Ben Jonson
Fuji International Symposium on Functional and Logic Programming (3rd 1998 Kyoto, Japan)
Gordon Thomas, Martin Dillon