Belz, Frank C., Edward K. Blum, and Dennis M. Heimbigner "A Design for a SEMANOL Specification of Ada" TRW Technical Report CDRL A003 of Contract no. F30602-79-C-0204 4/80
(1980)
Languages mentioned
SEMANOL
{1969} TRW metaprogramming language