Friedrich L. Bauer: Program Development by Stepwise Transformations - The Project CIP. Appendix: Programming Languages under Educational and under Professional Aspects. Program Construction 1978: 237-272