LOGICAL BASIS FOR COMPUTER PROGRAMMING,VOL.1: DEDUCTIVE REASONING - MANNA,ZOHAR, WALDINGER,RICHARD (AW MASSACHUSETTS, 1985)