Perspectives of System Informatics - Alexander K. Petrenko, Andrei Voronkov (Springer, 2018)