M. G. Hinchey and J. P. Bown, High-Integrity System Specification and Design, (Springer, 1999).
Markus Roggenbach, Formal Methods in Software Design, (c2001).
R. B. Jones, Formal Specification Languages, (c1996).
5.3.4.1 Formal Methods and Architectural Design