Dit staat dus te lezen in een eigen uitgave van de gemeente Nijmegen, en wel in: "Het Valkhof te Nijmegen" uitgegeven ter gelegenheid van de tentoonstelling "Het Valkhof en de vroegste geschiedenis van de stad Nijmegen", gehouden in het Nijmeegs Museum Commanderie van St. Jan van 11 oktober t/m 30 november 1980.