edited by Richard Bellman edited by Richard Musman edited by Richard Velkley. edited by Richard Rollins edited by Richard V.Heinzlman edited by Richard Wilbur edited by Richard Bett. edited by Richard DeNeut edited by Richard Evans edited by Richard Lim