Stepwise refinement of communicating systems (1996)

by M J Butler
Venue:Sci. Comput. Program