Equivalence and Optimization of Recursive Program Schemata

Zbigniew Zwinogrodzki. Equivalence and Optimization of Recursive Program Schemata. In Antoni W. Mazurkiewicz, editor, Mathematical Foundations of Computer Science 1976, 5th Symposium, Gdansk, Poland, September 6-10, 1976, Proceedings. Volume 45 of Lecture Notes in Computer Science, pages 569-575, Springer, 1976.

Possibly Related Publications

The following publications are possibly variants of this publication: