1. Alpern, B., Schneider, F.B.: Defining liveness. Inf. Process. Lett. 21(4), 181–185 (1985)
2. Alpern, B., Schneider, F.B.: Recognizing safety and liveness. Distrib. Comput. 2(3), 117–126 (1987)
3. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, London (2008)
4. Barendregt, H., Barendsen, E.: Introduction to lambda calculus. Nieuw archief voor wisenkunde 4(Mar), 337–372 (2000). http://homepages.nyu.edu/~cb125/Lambda/barendregt.94.pdf
5. Biswas, S., Deka, J.K.: NPTEL: Computer Science and Engineering - Design Verification and Test of Digital VLSI Circuits (2014). http://nptel.ac.in/courses/106103116/19