1. Lecture Notes in Computer Science;S. Antoy,2006
2. Backus, J.: Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Com. ACM 21(8), 613–641 (1978)
3. Bird, R., de Moor, O.: Algebra of programming. Prentice-Hall, Inc., Upper Saddle River, NJ, USA (1997)
4. Braßel, B., Christiansen, J.: A Relation Algebraic Semantics for a Lazy Functional Logic Language. In: Submitted to the 10th International Conference on Relational Methods in Computer Science (RelMiCS 10),
http://www.informatik.uni-kiel.de/prog/mitarbeiter/bernd-brassel/publications/
5. Braßel, B., Christiansen, J.: Denotation by transformation - towards obtaining a denotational semantics by transformation to point-free style. Technical report no. 0711, Christian-Albrechts-University of Kiel (2007)