@INCOLLECTION{pccs,
	AUTHOR = "E. W. Stark and S. A. Smolka",
	TITLE = "A Complete Axiom System for Finite-State Probabilistic
			Processes",
	BOOKTITLE = "Proof, Language, and Interaction: Essays in Honour
			of Robin Milner",
	EDITOR = "Gordon Plotkin",
	PUBLISHER = "MIT Press",
	MONTH = APR,
	YEAR = "2000"
}