1. Balzer, R., “Transformational Implementation: An Example,”IEEE Transactions on Software Engineering, Vol. SE-7, No. 1, January 1981.
2. Barstow, D.R., “Automatic Construction of Algorithms and Data Structures Using A Knowledge Base of Programming Rules,” Stanford AIM-308, November 1977.
3. Bell, M.L., D.C. Bixler, M.E. Dyer, “An Extendible Approach to Computer-Aided Software Requirements Engineering,”IEEE Transactions on Software Engineering, Vol. SE-3, No. 1, January 1977.
4. Basu, S., J. Misra, “Some Classes of Naturally Provable Programs,”2nd International Conference on- Software Engineering, San Francisco, October 1976.
5. Broy, M., P. Pepper, “Program Development as a Formal Activity,”IEEE Transactions on Software Engineering, Vol. SE-7, No. 1, January 1980.