A thirteenth-century life of Charlemagne (Garland, 1991)