Perspectives Of System Informatics door D. Bjorner, A. Zamulin & M. Broy