Bruno Courcelle, Jean Vuillemin. Complétude d un système formel pour prouver l équivalence de certains schémas récursifs monadiques. In Bernard Robinet, editor, Programming Symposium, Proceedings Colloque sur la Programmation, Paris, France, April 9-11, 1974. Volume 19 of Lecture Notes in Computer Science, pages 234-252, Springer, 1974.
Abstract is missing.