Hare, K. E, Dept. of Pure Mathematics, University of Waterloo, Canada