1. Lecture Notes in Computer Science;T. Arons,2001
2. Balaban, I., Pnueli, A., Zuck, L.: Shape analysis of single-parent heaps. Research Report TR2006-885, Computer Science Department, New York University, Warren Weaver Hall, Room 405, 251 Mercer St., New York, NY 10012 (November 2006)
3. Lecture Notes in Computer Science;I. Balaban,2005
4. Balaban, I., Pnueli, A., Zuck, L.D.: Modular ranking abstraction. To appear in International Journal of Foundations of Computer Science IJFCS (2007), See http://www.cs.nyu.edu/acsys/pubs/permanent/ranking-companion-pre.pdf
5. Lecture Notes in Computer Science,2006