@article {12826,
	title = {Semantic theories and system design},
	journal = {ACM Computing Surveys (CSUR)},
	volume = {28},
	year = {1996},
	month = {1996///},
	pages = {41 - 41},
	author = {Cleaveland, Rance}
}
