Generating software from specifications - Kastens, Uwe (Viva books, 2008)