New scincid lizard of the genus Spenomorphus [Sphenomorphus] (Reptilia, Scincidae), from Java. Treubia, 31(1), Januari 1994: 25-30. 25 [Zoological Record Volume 133]