Simon L. Peyton Jones. Functional Programming Languages as a Software Engineering Tool. In Albert T. Kündig, Richard E. Bührer, Jacques Dähler, editors, Embedded Systems: New Approaches to Their Formal Description and Design, An Advances Course, Zürich, Switzerland, March 5-7, 1986. Volume 284 of Lecture Notes in Computer Science, pages 153-173, Springer, 1986.
Abstract is missing.