A categorical approach to the theory of lists (1989)

by J M Spivey
Venue:In Mathematics of Program Construction. Springer LNCS 375