Generating Software from Specifications

by Uwe Kastens, Anthony M. Sloane, William M. Waite