1. Recursive functions of symbolic expressions and their computation by machine;McCarthy;Communications of the ACM,1960
2. Iverson K. A programming language. New York: Wiley, 1962
3. Iverson, K., J Introduction and Dictionary. Iverson Software Inc., Toronto, 1994
4. Cooke, D. E. and Gutierrez, A., An Introduction to BagL. In IEEE Fourth International Conference on Software Engineering and Knowledge Engineering, Capri, Italy, 1960 pp. 479–486
5. Guarded commands, nondeterminancy and the formal derivation of programs;Djikstra;Communications of the ACM,1975