From: utzoo!decvax!ucbvax!CAD:tektronix!zehntel!sytek!menlo70!hao!seismo!rocheste!mark Newsgroups: net.lang.c Title: Exact ref. for denotational defn of C Article-I.D.: rocheste.1035 Posted: Mon Mar 21 16:53:31 1983 Received: Thu Mar 24 06:57:19 1983 Here it is for all of you who were wondering... "A case study in specifying the semantics of a programming language" Ravi Sethi, 7th POPL, 1980, pp. 117-130. Mark.