Formal description of programming concepts. - Neuhold, Erich J. (Springer-Verlag, 1991)