1. J. von Neumann and G. Birkhoff, Annals of Math. 37, 823 (1936).
2. D. Finkelstein, Phys. Rev. 184, 1261 (1964)
3. R. Giles, ‘Formal Languages and the Foundations of Physics and Quantum Mechanics’, in C. A. Hooker (ed.), The Logico-Algebraic Approach to Quantum Mechanics, Vol. 2,Reidel Publishing, Dordrecht-Holland.
4. J. Ax, Foundations of Physics
6, 371 (1976).
5. R. D. Feynman, Nobel Address. Also R. P. Feynman and Hibbs, Quantum Mechanics via Path Integrals, McGraw-Hill, New York, 1965, Chapter 2.