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