Algebra and Models - Hoare, C (ACM, 1993)