1. Abrial, J.R., Hayes, I.J., Hoare, T.: The Z Notation: A Reference Manual, 2nd edn. Oriel College, Oxford (1998)
2. Szyperski, C.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley, Boston (2002)
3. Tian, C., Duan, Z., Zhang, N.: An efficient approach for abstraction-refinement in model checking. Theoret. Comput. Sci. 461, 76–85 (2012)
4. Dijkstra, E.W.: A Discipline of Programming. Springer, Heidelberg (1994)
5. Gries, D., Schneider, F.B.: A Logical Approach to Discrete Math. Springer, Heidelberg (1981)