E.G. Manes Reihenfolge der Bücher (Chronologisch)

Category Theory Applied to Computation and Control

Proceedings of the First International Symposium, San Francisco, February 25-26, 1974 (Lecture Notes in Computer Science)