Perspectives of System Informatics : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers - Petrenko, Alexander K (Herausgeber); Voronkov, Andrei (Herausgeber) (Theoretical Computer Science and General Issues, 2018)