@conference {12811,
	title = {Analyzing concurrent systems using the Concurrency Workbench},
	booktitle = {Functional Programming, Concurrency, Simulation and Automated Reasoning},
	year = {1993},
	month = {1993///},
	pages = {129 - 144},
	author = {Cleaveland, Rance}
}
