A compositional architecture for simple design formally specified in DESIRE (1993)

by I van Langevelde, A Philipsen, J Treur
Venue:Formal Specification gf Complex Reasoning Systems (Ellis Horwood