Abrictosaurus

Etymology
From, named by  in 1975 in opposition to a hypothesis that heterodontosaurids aestivated.

Proper noun
†