Formal Specification of Compositional Architectures. - Izak van Langevelde; A. Philipsen; Jan Treur (ECAI, 1992)