Treur: A Compositional Architecture for Simple Design Formally Specified in DESIRE (1993)

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