Formal specification and design /
Feijs, L. M. G.
Jonkers, H. B. M.
Cambridge : Cambridge University Press,
1992.