Brady, J M Theory of computer science: a programming approach - NEW YORK CHAPMAN & HALL LTD 1977 - 282 p p. Subjects--Index Terms: MATHEMATICS