L. M. G. Feijs and H. B. M. Jonkers Formal Specification and Design. Cambridge University Press (2005). ISBN-13: 9780521435925