The Mathematics of Programming - Hoare, C (Oxford University Press, 1986)