Publications of Kenneth Dover.