Children's counting types philosophy, theory, and application (Praeger, 1983)