Jan A. Bergstra, Alexander Ollongren, Theo P. van der Weide. An Axiomatization of the Rational Data Objects. In Marek Karpinski, editor, Fundamentals of Computation Theory, Proceedings of the 1977 International FCT-Conference, Poznan-Kórnik, Poland, September 19-23, 1977. Volume 56 of Lecture Notes in Computer Science, pages 33-38, Springer, 1977.
Abstract is missing.