1. http://www.cs.technion.ac.il/Labs/ssdl/pub/CNV
2. Lecture Notes in Computer Science;R. Alur,1997
3. Braun, T., Condon, A., Hu, A.J., Juse, K.S., Laza, M., Leslie, M., Sharma, R.: Proving sequential consistency by model checking. In: Proc. 6th IEEE High Level Design Validation and Test Workshop (HLDVT 2001), pp. 103–108 (December 2001)
4. Glusman, M., Katz, S.: A mechanized proof environment for the convenient computations proof method. Formal Methods in System Design (to appear), Available at
http://www.cs.technion.ac.il/Labs/ssdl/pub/conv_PVS
5. Lecture Notes in Computer Science;M. Glusman,1999