Antonio Arredondo, coronel español al servicio de la independencia - Tisnés J., Roberto María 1926- (Academia Colombiana de Historia, 1970)