Generating software from specifications - Kastens, Uwe (Jones and Bartlett Publishers, 2007)