Reasoning about Complexity - Software Models as External Representations. - Simon Lynch; Joseph Ferguson (PPIG, 2014)