by Nigel Cutland
Given a framework capable of calculating, describes methods for determining the framework’s capabilities and limitations.