L. Church, C. Nash, and A. Blackwell. Proceedings of the 22nd Annual Workshop of the Psychology of Programming Interest Group (PPIG 2010), page 2--11. (2010)
P. Ganty, R. Majumdar, and A. Rybalchenko. POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, page 102--113. New York, NY, USA, ACM, (2009)
A. Pnueli, J. Xu, and L. Zuck. CAV '02: Proceedings of the 14th International Conference on Computer Aided Verification, page 107--122. London, UK, Springer-Verlag, (2002)
Y. Kesten, A. Pnueli, E. Shahar, and L. Zuck. CONCUR '02: Proceedings of the 13th International Conference on Concurrency Theory, page 101--115. London, UK, Springer-Verlag, (2002)