A Practical Theory Of Programming - Hehner, Eric C R (Springer-verlag, 1993)