%0 Book
%A  edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
%T Perspectives of System Informatics : 
%U /book/90113728/Perspectives-of-System-Informatics/