Manfred Broy. Deductive Program Development: Evaluation in Reverse Polish Notation as an Example. In Manfred Broy, Martin Wirsing, editors, Method of Programming, Selected Papers on the CIP-Project. Volume 544 of Lecture Notes in Computer Science, pages 79-99, Springer, 1991.
Abstract is missing.