Lecture notes in computer science V.389. Category theory and computer science - Pitt, D.H. Ed. Goos, G. Editor (1989)
Keywords: Computers