Formal Specification And Design by L.M.G. Feijs & H.B.M. Jonkers