Formal specification and design - Feijs, L. M. G. (Loe M. G.); Jonkers, H. B. M. (New York, NY : Cambridge University Press, 2005)
57