%0 Journal Article %J ACM Computing Surveys (CSUR) %D 1996 %T Semantic theories and system design %A Cleaveland, Rance %B ACM Computing Surveys (CSUR) %V 28 %P 41 - 41 %8 1996/// %G eng %N 4es