Official specification of the Sather programming language.