"The AVA Reference Manual", M. Smith, TR64, Computational Logic, Austin TX (June 1990).
(1990)
Languages mentioned
AVA
{1990} Verifiable Ada