Formal description of programming concepts. - Neuhold, Erich J. (North-Holland Publishing Company, 1978)