†family Tokosauridae Tverdokhlebova and Ivakhnenko 1984 (parareptile)
Reptilia - Pareiasaurida - Tokosauridae
Full reference: G. I. Tverdokhlebova and M. F. Ivakhnenko. 1984. Nikteroletery iz Permskikh Otlozheniy Vostochnoy Evropy [Nycteroleters from the Permian of Eastern Europe]. Paleontologicheskii Zhurnal 1984(3):98-111
Parent taxon: Nycteroleteroidea according to M. F. Ivakhnenko 2008
See also Carroll 1988
Sister taxa: none
Subtaxa: none
Ecology:
Distribution: found only at Pron'kino, PIN 521 (Permian of Russian Federation)