1. Neustadt R. E., Presidential Power. New York: Wiley, 1960, Chapter 2.
2. Backus J. W., “The syntax and semantics of the proposed international algebraic language.” Proc. Intl. Conf. Inf. Proc. UNESCO, Paris, 1959, published by R. Oldenbourg, Munich, and Butterworth, London. Besides this, a whole collection of papers on the subject is contained in T. B. Steel, Jr. (ed.). Formal Language Description Languages for Computer Programming. Amsterdam: North Holland, 1966.
3. Lucas, P., K. Walk, “On the formal description of PL/I” Annual Review in Automatic Programming Language. New York: Wiley, 1962. Chapter 2, p. 2.
4. Iverson K. E. A Programming Language. New York: Wiley, 1962. Chapter 2.
5. Falkoff A. D., K. E. Iverson, E. H. Sussenguth, “A formal description of System/360,” IBM Systems Journal. 3, 3,(1964), pp. 198-261.
6. Bell C. G., A. Newell, Computer Structures. New York: McGraw-Hill, 1970, pp. 120- 136, 517-541.
7. Bell, C. G.., private communication.
