EK Blum

Blum, E.K. "Formal semantics of programming languages", TRW Report TR-6 (1973)

(1976)

Languages mentioned

  • SEMANOL {1969} TRW metaprogramming language