Konrad Slind, Michael J. C. Gordon, Richard J. Boulton, Alan Bundy
Browse the full CADE paper archive.