Generating Software from SpecificationsUwe Kastens, Anthony M. Sloane, William M. Waite · First published 2007Open the Tome
