Perspectives of System Informatics - Manuel Mazzara, Andrei Voronkov; Voronkov, Andrei (Springer International Publishing, 2016)