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