edited by Richard J. Dunn edited by Richard J. Dunn. edited by Richard M. Auty. edited by Richard H. Day edited by Richard J. Beck edited by Richard K.Guy edited by Richard C. Levene edited by Richard G. Woods edited by Richard Wilbur edited by Richard Bellman