K. Chaudhuri, D. Doligez, L. Lamport, und S. Merz. Theoretical Aspects of Computing – ICTAC 2010, Volume 6255 von Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 10.1007/978-3-642-14808-8_3.(2010)
J. Søgaard-Andersen, S. Garl, J. Guttag, N. Lynch, und A. Pogosyants. PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION, ELOUNDA, GREECE, VOLUME 697 OF LECTURE, Seite 305--319. Springer Verlag, (1993)
T. Arons, A. Pnueli, S. Ruah, J. Xu, und L. Zuck. CAV '01: Proceedings of the 13th International Conference on Computer Aided Verification, Seite 221--234. London, UK, Springer-Verlag, (2001)
M. Bobaru, C. Pasareanu, und D. Giannakopoulou. CAV '08: Proceedings of the 20th international conference on Computer Aided Verification, Seite 135--148. Berlin, Heidelberg, Springer-Verlag, (2008)
S. Wappler, und J. Wegener. GECCO 2006: Proceedings of the 8th annual conference
on Genetic and evolutionary computation, 2, Seite 1925--1932. Seattle, Washington, USA, ACM Press, (8-12 July 2006)