Tetrapod reptiles of Ceylon - Deraniyagala, P E P (Ceylon, 1939)