1. Ambler, A. L., D.I. Good, J.C. Browne, W. F. Burger, R.M., Cohen, C. G., Hoch, R. E., Wells, “Gypsy: A Language for Specification and Implementation of Verifiable Programs,”SIGPLAN Notices, Vol. 12, No. 3, March 1977, pp. 1 – 10.
2. Bowies, K.L.,Microcomputer Problem Solving Using Pascal, Springer-Verlag, New York, 1977.
3. Buxton, J.N., B. Randell (eds.),Software Engineering Techniques, NATO, 1970 (report on a conference sponsored by the NATO Science Committee, Rome, Italy, October 27–31, 1969 ).
4. Brinch Hansen, P., “The Programming Language Concurrent Pascal,”IEEE Transactions on Software Engineering, Vol. SE-1, No. 4, June 1975, pp. 199–207.
5. Brooks, F.P., Jr.,The Mythical Man-Month: Essays on Software Engineering, Addison-Wesley, Reading, Mass., 1975.