Formal specification and design - Feijs, L. M.; Jonkers, H. B. (Cambridge Univ. Press, 1992)