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 is missing.