1. Lazy abstraction
2. Louden, K.C. (1993) Programming Languages Principles and Practice. URL.
3. Baier, C. and Katoen, J. (2008) Principle of Model Checking. MIT Press, Cambridge.
4. Aggarwal, K.K. and Yogesh, S. (2001) Software Engineering. 3rd Edition, New Age International Ltd, New Delhi.
5. Van-Hung, D. (2005) Model-Checking and the SPIN Model Checker. International Institute for Software Technology, Macau.