Text this: Studies in automatic programming logic / Zohar Manna, Richard Waldinger, with contributions by Shmuel Katz and Karl Levitt.