David William John Stringer-Calvert: Mechanical verification of compiler correctness. University of York, UK 1998