TY  - BOOK
AU  - Pitt, D., Ed.
TI  - Category theory and computer programming,proceedings 1985
CY  - Berlin
ER  -