Michael Allen (1931-2006)