Formal methods in systems engineering - London: Springer, 1988 - vii, 191p. Subjects--Topical Terms: Computer Subjects--Index Terms: Engineering Universal Decimal Class. No.: D 681.3.06 / N3