SpringerLink (Online service), Clarke, E., Virbitskaite, I., & Voronkov, A. (2012). Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. Springer Berlin Heidelberg.
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), Edmund Clarke, Irina Virbitskaite, και Andrei Voronkov. Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. Springer Berlin Heidelberg, 2012.
