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

by L Schroder, T Mossakowski
Venue:Algebraic Methodology and Software Technology, 2002, volume 2422 of Lecture Notes in Computer Science