Practical reasoning about final ends - Richardson Henry S (Cambridge CUP, 1994)