1. Abramsky, S., Jung, A.: Domain theory. In: Handbook of Logic in Computer Science, pp. 1–168. Oxford University Press, Oxford (1994)
2. Albert, E., Hanus, M., Huch, F., Oliver, J., Vidal, G.: Operational semantics for declarative multi-paradigm languages. Journal of Symbolic Computation 40(1), 795–829 (2005)
3. Lecture Notes in Computer Science;B. Braßel,2007
4. Lecture Notes in Computer Science;B. Braßel,2011
5. Christiansen, J., Seidel, D., Voigtländer, J.: Free theorems for functional logic programs. In: Filliâtre, J.-C., Flanagan, C. (eds.) PLPV 2010, pp. 39–48. ACM Press, New York (2010)