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

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