Anderson, E.R., F. C. Belz, and E. K. Blum, "Issues in the Formal specification of Programming Languages

IFIP Working Conference, 1977 Formal Description o (1978) IFIP Working Conference, 1977 Formal Description of Programming Concepts, North-Holland Pub. Co. 1978  

Languages mentioned SEMANOL {1969} TRW metaprogramming language