1. N. Wirth, “Program development by stepwise refinement”, Comm. ACM,14, No. 4, 221–227 (1971).
2. Lect. Notes Comput. Sci.;D. Bjorner,1978
3. F. L. Bauer, “Program development by stepwise transformations: the project CIP”, Lect. Notes Comput. Sci.,69, 237–266 (1979).
4. V. M. Glushkov, Yu. V. Kapitonova, and A. A. Letichevskii, “Application of the method of formalized technical specifications to the design of programs processing data structures”, Programmirovanie, No. 6, 31–43 (1978).
5. V. M. Glushkov, G. E. Tseitlin, and E. L. Yushchenko, “Multilevel structured program design: formalization of the method and sphere of applications”, Kibernetika, No. 4, 42–65 (1981).