HASCASL: Integrated higher-order specification and program development (2009)

by L Schröder, T Mossakowski
Venue:Theoretical Comput. Sci