Mitchell Wand. On the recursive specification of data types. In Ernest G. Manes, editor, Category Theory Applied to Computation and Control, Proceedings of the First International Symposium, San Francisco, CA, USA, February 25-26, 1974, Proceedings. Volume 25 of Lecture Notes in Computer Science, pages 214-217, Springer, 1974.
Abstract is missing.