An introduction to the theory of lists, in Manfred Broy (ed.), Logic of programming and calculi of discrete design (0)

by Richard Bird
Venue:NATO ASI Series F Vol. 36, SpringerVerlag 1987, ISBN 0 387 18003 6