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