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