Perspectives of System Informatics - Petrenko; Andrei Voronkov; Voronkov, Andrei (Springer International Publishing, 2018)