1. Backus, J.; Can Programming Be Liberated from the von Neumann Style ? Comm. ACM, Vol 21, 1978, 613–641
2. Brownston,L.,Farrell,R.,Kant,E,Martin,N.; Programming Expert Systems in OPS 5 — An Introduction to Rule-Based Programming? Addison Wesley, 1985
3. Cardelli, L.; Amber Lecture Notes in Comp. Science, Vol 242, 1986, 21–47
4. Cremers, A.B.; Hibbard, T.N.;Applicative State Transition Systems in LISP-like Notation Informatik Fachberichte, Vol 73, Springer Verlag 1983, 51–66
5. Cremers, A.B.; Hibbard, T.N.: A Programming Notation for Locally Synchronized Algorithms; in Bertolazzi, P.; Luccio, F. (ed.) VLSI-Algoritms and Architectures; North Holland 1985, 341–376