Wasserman, A. I. "Testing and Verification Aspects of Pascal-Like Languages"

(1979) Computer Languages 4(3-4)  

Languages mentioned Euclid {1977} Verifiable system software language Pascal {1970} Wirth's development of the Algol-W proposal PLAIN {1976}