D. Alrajeh, J. Kramer, A. Russo, and S. Uchitel. ICLP (Technical Communications), volume 11 of LIPIcs, page 106-116. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)
G. Sibay, S. Uchitel, and V. Braberman. ICSE '08: Proceedings of the 30th international conference on Software engineering, page 41--50. New York, NY, USA, ACM, (2008)