Berning, Paul T. "Formal SEMANOL Specification of Ada" TRW Report RADC-TR-89-293 Rome Air Development Center 9/80
(1980)
Languages mentioned
Ada
{1979} US DoD general purpose language
SEMANOL
{1969} TRW metaprogramming language