@inproceedings{Howe&94,
author="Douglas J. Howe and Scott D. Stoller",
title="An operational approach to combining classical set theory and
	functional programming languages",
booktitle="Theoretical Aspects of Computer Software, Proceedings of TACS '94",
month="April",
year=1994,
publisher="Springer-Verlag",
series="Lecture Notes in Computer Science",
volume="789",
pages="36-55"
}