Title: Agobardi Lugdunensis Opera omnia
First published: 1981