Nestor, John, "Red1: a language for IRONMAN requirements", Intermetrics 1979
(1979)
Languages mentioned
RED1
{1979}