PaleoDB taxon number: 171914
Alternative combination: Baroqueosuchus haughtoni
Synonym: Lesothosuchus charigi Whetstone and Whybrow 1983 (taxon 169826)
Full reference: A. B. Busbey III and C. E. Gow. 1984. A new protosuchian crocodile from the Upper Triassic Elliot Formation of South Africa. Palaeontologia Africana 25:127-149
- Protosuchus haughtoni: BP-1-4746. Its type locality is Farm Sunnyside, which is in a Hettangian/Sinemurian terrestrial sandstone in the Elliot Formation of South Africa.
- Lesothosuchus charigi: BMNH R8503, a partial skeleton. Its type locality is Lithipeng South (Red Beds of Stormberg Series), which is in a Hettangian/Sinemurian terrestrial siliciclastic in the Elliot Formation of Lesotho.