Wilf, Herbert S., 1931-2012