This paper contains a formal specification of the IS programming language
   using a mixture of the Montages-method described in [KuPi97] and
   the method of attribute grammars. The language IS-0 serves as an
   introductory example to demonstrate the construction of correct
   compilers and the evolving algebra technology.