Beiträge zur Theorie des logisch-funktionalen Programmierens - Bockmayr, Alexander M. (1990)