Perspectives of Systems Informatics - Virbitskaite, Irina; Voronkov, A.; Voronkov, Andrei (Springer Berlin Heidelberg, 2007)