@article{cts,
	author = "E. W. Stark",
	title = "Concurrent Transition Systems",
	journal = "Theoretical Computer Science",
	volume = 64,
	month = JUL,
	pages = "221--269",
	year = 1989
}