LECTURES ON THE LOGIC OF COMPUTER PROGRAMMING - MANNA,ZOHAR (OTH PHILADELPHIA, 1980)