Literate Program Derivation: A Case Study

Peter Pepper. Literate Program Derivation: A Case Study. In Manfred Broy, Martin Wirsing, editors, Method of Programming, Selected Papers on the CIP-Project. Volume 544 of Lecture Notes in Computer Science, pages 101-124, Springer, 1991.

Abstract

Abstract is missing.