Publications by authors named "Richard E Waltman"