@article {12819,
	title = {Computing behavioural relations, logically},
	journal = {Automata, Languages and Programming},
	year = {1991},
	month = {1991///},
	pages = {127 - 138},
	author = {Cleaveland, Rance and Steffen,B.}
}
