1. Aarts, C., Backhouse, R., Hoogendijk, P., Voermans, E., van der Woude, J.: A Relational Theory of Data Types. Lecture notes, Eindhoven University of Technology (1992)
2. Lecture Notes in Computer Science;Arvind,2008
3. Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press, Cambridge (2008)
4. Bandera Home Page, http://bandera.projects.cis.ksu.edu/
5. Bentley, J.: Programming Pearls. Addison-Wesley, Reading (2000) [10th printing, 2005]