List comprehensions and the relational calculus (1988)

by P Trinder, P Wadler
Venue:In Proceedings of the 1988 Glasgow Workshop on Functional Programming