From Z Specifications To Functional Implementations.
Michael P. Johnson, Paul Sanders · 1989
This paper examines work in the Systems and Software Engineering Division at British Telecom Research Laboratories which uses functional languages as part of a formal lifecycle. The use of functional languages allows programs to be quickly produced from formal specifications, and then enables the resulting program to be transformed into a correct implementation that meets the speed and size constraints of the specification.