Hartzenbusch, J. E., editor. See Biblioteca de autores espanoles. Vol. 5, 7, 9, 12, 14, 20, 24, 34, 41, 52 of D.163.