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. 16 [Zoological Record Volume 135]