Formal Program Development 1993
- Bernhard Möller, Helmuth Partsch, Stephen A. Schuman:
Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report. Lecture Notes in Computer Science 755, Springer 1993, ISBN 3-540-57499-9 - James M. Boyle, Terence J. Harmer:
Practical Transformation of Functional Programs for Efficient Execution: A Case Study. 62-88