Perspectives of System Informatics - Voronkov (Springer Berlin Heidelberg, 2015)