edited by John A. Heddle. edited by John A. Cole. edited by John P. Devlin. edited by John W. Bull. edited by John R. Krause. edited by John E. Tyler. edited by John R. Hinnells. edited by John M. Kissane. edited by John R. Brauer. edited by John J. H. Miller.