Avid: A System for the Interactive Development of Verifiably Correct Programs. - Dean Kraftt (1981)