Martin Dent — academic (1925-2014)