Before revision: References Peterson, Michael P. Wendel, Jochen.
After revision:  Wendel, Jochen.