Beauty Is Our Business : A Birthday Salute to Edsger W. Dijkstra

Published 1990

A Logical Approach to Discrete Math

by Gries, David, Schneider, Fred B.
Published 1993

Programming Methodology : A Collection of Articles by Members of IFIP WG2.3

Published 1978