Academic publisher Michael Holdsworth dies, aged 73