A constructive development environment for parallel and distributed systems (1994)

by J Magee, N Dulay, J Kramer
Venue:In Proceedings of the International Workshop on Configurable Distributed Systems