1. Curry, H.B.: On the composition of programs for automatic computing. Naval Ordnance Laboratory Memorandum 9806, 19-8, 52 pp. (1949)
2. Floyd, R.W.: Assigning meanings to programs. In: Proceedings of Symposium in Applied Mathematics. Mathematical Aspects of Computer Science, vol. 19, pp. 19–32. American Mathematical Society (1967)
3. Gorn, S.: Specification languages for mechanical languages and their processors a baker’s dozen: a set of examples presented to ASA x3.4 subcommittee. Commun. ACM 4(12), 532–542 (1961)
4. Gorn, S.: The identification of the computer, information sciences: their fundamental semiotic concepts and relationships. Found. Lang. 4, 339–372 (1968)
5. Goldstine, H.H., von Neuman, J.: Planning and coding of problems for an electronic computing instrument. Technical report, Institute of Advanced Studies, Princeton (1947)