HasCasl: Towards integrated specification and development of functional programs (2002)

by L Schroder, T Mossakowski
Venue:In Algebraic Methodology and Software Technology, volume 2422 of LNCS