Der Gebrauch des Infinitivs bei den althochdeutschen Übersetzern des 8. & 9. Jh. - Denecke, Arthur (1880)