A Constructive Development Environment for Parallel and Distributed Programs (1994)

by J Magee
Venue:In IEE/IOP/BCS Distributed Systems Engineering