PEREIRA@SRI-AI.ARPA@sri-unix.UUCP (09/30/83)
For a brilliant if tentative attack of the questions noted by Prem Devanbu, see Brian Smith's thesis "Reflection and Semantics in a Procedural Language,", MIT/LCS/TR-272. Fernando Pereira