NEUHOLD,ERICH J (ED), PAUL,MANFRED (ED) FORMAL DESCRIPTION OF PROGRAMMING CONCEPTS - BERLIN SV 1991 - 507 - IFIP STATE OF THE ART REPORTS . BR-1021 ISBN: NCST 88 Dewey Class. No.: 510