Sather-K <language> Karlsruhe Sather. A sublanguage of {Sather} used for introductory courses in {object-oriented design} and {typesafe programming}. E-mail: <[email protected]>. (1994-11-11)