R. P. Pico, “Operation Diary of the Army of Cundinamarca, 1820”, hist.mem., no. 18, pp. 337–390, Feb. 2019.