Formal discription of programming concepts. - Neuhold, E.J (Springer -Verlag, 1991)