Bird, R. S. "An introduction to the theory of lists" Logic of Programming and Calculi of Discrete Design. NATO ASI Series F: Computer and Systems Sciences, Volume 36 Author: Broy, Manfred, ed Springer 1987 Marktoberdorf, Germany pp5-42 1987

Languages mentioned

• Squigol {1986}