Program checking - Williams, Graeme John (1979)