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.