1. [AbHa87] Abramsky, S., Hankin, C.L.: Abstract interpretation of declarative languages. Chichester: Ellis Horwood 1987
2. [AhHoUl174] Aho, A.V., Hopcroft, J.E., Ullman, J.D.: The design and analysis of computer algorithms. Reading, Mass.: Addison-Wesley 1974
3. [Ba78] Backus, J.W.: Can programming be liberated from the von Neumann Style? A functional style and its algebra of programs. CACM21(8), 613–641 (1978)
4. Lect. Notes Comput. Sci.;J.W. Backus,1981
5. Research Report;R. Bailey,1986