Michael Green (1952-2003)