1. Aho A.H., Hopcroft J.E., Ullman J.D. The Design and Analysis of Computer Algorithms. Addison-Wesley, Reading, Mass. (1974).
2. Bauer F.L. A Philosophy of Programing. Lecture Notes, University of London (1973) (appeared in LN in Computer Science, Vol.46, Springer, Berlin, 1976).
3. Bauer F.L. Program Development by Stepwise Transformations - The Project CIP. In: Program Construction (F.L.Bauer, M.Broy ed.), Lecture Notes of an Internat. Summer School, Marktoberdorf, Lecture Notes in Computer Science, Vol.69, Springer, Berlin (1979).
4. Bauer F.L., Broy M., Gnatz R., Hesse W., Krieg-Brückner B., Partsch H., Pepper P., Wössner H. Towards a Wide Spectrum Language to Support Program Specification and Program Development. ACM SIGPLAN Notices, Vol.13/12, 12–24, (also in: Program Construction, F.L. Bauer, M.Broy ed., LN in Computer Science, Vol.69, Springer, 543–552 (1978).
5. Bauer F.L., Wössner H. Algorithmic Language and Program Development. Prentice Hall International, London (1979).