From specifications to code in Casl (2002)

by David Aspinall, Donald Sannella
Venue:In Proc. 9th Intl. Conf. on Algebraic Methodology and Software Technology, AMAST’02., number 2422 in LNCS