Sources used to write the entry for Randulf

Ernst Förstemann, Altdeutsches namenbuch (1900), page 1247