The Mathematics of Programming - Hoare, C (2015)