Title: Philip Grierson's eightieth birthday