Über die Verifikation modularer Programme - Antoniou, Grigoris 1961- (1989)
Osnabrück, Univ., Diss., 1989. - Mikroreprod. eines Ms. 176 S. : graph. Darst.