Langer 1998. Gilmoreteiidae new family and Gilmoreteius new genus (Squamata, Scincomorpha): replacement names for Macrocephalosauridae Sulimski, 1975 and Macrocephalosaurus Gilmore, 1943. Comunicacoes do Museu de Ciencias e Tecnologia da PUCRS Serie Zoologia, 11, outubro 1998: 13-18