From VDM Specifications to Functional Prototypes (1993)

by P Borba, S Meira
Venue:Journal of Systems Software