T.: HasCasl: Integrated higher-order specification and program development (2009)

by L Schröder, Mossakowski
Venue:Theoret. Comput. Sci. 410(12-13