D.: From specifications to code in CASL (2002)

by D Aspinall, Sannella
Venue:AMAST 2002. LNCS