Linking Theories in Computing Science - Hoare, C (2015)