C.A.R. Hoare Construction of Data Processing Software C.A.R. Hoare - USA PHI 1984 Gifted by Prof. V Rajaraman ISBN: 131686755