Karlsruhe Sather. A sublanguage of Sather used for introductory courses in object-oriented design and typesafe programming.