†Protecovasaurus lucasi Heckert 2004

Heckert 2004. Late Triassic microvertebrates from the lower Chinle Group (Otischalkian-Adamanian: Carnian), southwestern U.S.A. Bulletin of the New Mexico Museum of Natural History and Science, 27 2004: i-vi, 1-170