Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers - Clarke, Edmund; Virbitskaite, Irina; Voronkov, Andrei (Springer Berlin Heidelberg, 2012)