E.G. Manes Orden de los libros (cronológico)

Category Theory Applied to Computation and Control

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