DILLER , ANTONI AN INTRODUCTION TO FORMAL METHODS - NEW YORK : JOHN WILEY 1990 - 309 p. ISBN: 047192489X Subjects--Topical Terms: FORMAL METHODS Dewey Class. No.: 005.12 / D34