The Logical Basis for Computer Programming, Volume 1 door Zohar Manna & Zohar Marra