Bruno Courcelle, Maurice Nivat. The Algebraic Semantics of Recursive Program Schemes. In Józef Winkowski, editor, Mathematical Foundations of Computer Science 1978, Proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978. Volume 64 of Lecture Notes in Computer Science, pages 16-30, Springer, 1978.
Abstract is missing.