The Concurrency Workbench: Operating Instructions (1988)

by R Cleaveland, J Parrow, B Steffen