A verified program verifier - Ragland, Larry Calvin (1973)
Austin, Tex., Univ., Diss., 1973. -Kopie, erschienen im Verl. Univ. Microfilms Internat., Ann Arbor, Mich.