Books by Wolf Zimmermann
Konzepte Höherer Programmiersp
Konzepte Höherer Programmiersprachen
Automatische Komplexitätsanalyse funktionaler Programme
Vorlesungen über Informatik : Band 1
Abstract State Machines 2004.
Abstract State Machines 2004. Advances in Theory and Practice
Automatsiche Komplexitatsanaly
Automatsiche Komplexitatsanalyse funktionaler Programme