1. Aiken, H.H., Proposed Automatic Calculating Machine, 1937: in: Randell, B. (ed.), The Origins of Digital Computers - Selected Papers, Springer-Verlag,1973.
2. Backus, J., Can Programming Be Liberated from the Von Neumann Style? A Functional Style and its Algebra of Programs. Comm. ACM 21, 613–641, 1978.
3. Bauer, F.L., Wössner, H., Algorithmische Sprache und Programmentwicklung, Springer-Verlag, 1981.
4. Chen, M., Mead, C., Concurrent Algorithms as Space-Time Recursion Equations, Proc. VLSI and Modern Signal Processing, USC, Los Angeles, Calif., 31–52, Nov. 1982.
5. Cremers, A.B., Hibbard, T.N., The Semantic Definition of Programming Languages in Terms of their Data Spaces, in: Programmiersprachen, Informatik-Fachberichte 1, 1–11, 1976.