Stepwise Refinement of Communicating Systems (1996)

by M J Butler
Venue:Sci. Comput. Program