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