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