Mathematische und operationale Semantik funktionaler Programmiersprachen. - Stefan Hölscher (1995)