Unifying Theories : A Personal Statement - Hoare, C (1996)