Keuchenius, Robertus, ed. lit.