edited by David Nachmansohn. edited by J. C. Johnson. edited by David Gries. edited by J.C. Johnson. edited by David B. Brown. edited by David J. Evans. edited by J. Donald Johnson. edited by David Perkins. edited by David F. Paulson. edited by David W. Brisson.