Anne Elisabeth Haxthausen
-
HasCasl: Integrated higher-order specification and program development
Theoretical Computer Science