@article {12821,
	title = {A preorder for partial process specifications},
	journal = {CONCUR{\textquoteright}90 Theories of Concurrency: Unification and Extension},
	year = {1990},
	month = {1990///},
	pages = {141 - 151},
	author = {Cleaveland, Rance and Steffen,B.}
}
