Generating software from specifications - Waite, W. M. [ (William McCastline)]; Sloane, Anthony M.; Waite, W. M. [ (William McCastline)] (Jones and Bartlett Publishers, 2006)