Sources used to write the entry for Pippin (1)

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