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