@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} }