Formal description of programming concepts ed by Erich J Neuhold and Manfred Paul - New York Springer Verlag 1991 - vi ISBN: 3540539611 Dewey Class. No.: 005.1 / N91