L. Zuck, A. Pnueli, Y. Fang, B. Goldberg, und Y. Hu. RV@FLoC, Volume 70 von Electronic Notes in Theoretical Computer Science, Seite 179-200. Elsevier, (2002)
Y. Hu, C. Barrett, B. Goldberg, und A. Pnueli. COCV@ETAPS, Volume 141 von Electronic Notes in Theoretical Computer Science, Seite 69-84. Elsevier, (2005)
Y. Kesten, A. Klein, A. Pnueli, und G. Raanan. World Congress on Formal Methods, Volume 1708 von Lecture Notes in Computer Science, Seite 173-194. Springer, (1999)