Language Support for the Specification and Development of Composite Systems (1987)

by M Feather M
Venue:ACM Transactions on Programming Languages and Systems