2 books • 2 series
Introduction to VDM (McGraw-Hill International Series in Software Engineering)
Introduction to Object-oriented Methods (Computer Science Texts)