The Laws of Programming - Hoare, C; Hayes, I; Jifeng, H; Morgan, C; Roscoe, A; Sanders, J; rensen, N; Spivey, J; Sufrin, B (1987)