Grundlagen einer Methode für die rechnergestützte Verifikation von while-Programmen während der Programmerstellung - Luft, Alfred Lothar 1944- (1975)