From specifications to code in CASL (2002)

by D Aspinall, D Sannella
Venue:In Proc. Algebraic Methodology and Software Technology (AMAST) 2002, volume 2422 of LNCS