Logic of programming and calculi of discrete design - Broy, Manfred, 1949-. (Berlin : Springer-Verlag, 1986)
1
Keywords: Electronic digital computers -- Programming; Electronic digital computers -- Programming -- Addresses, essays, lectures