5 books • 3 series
Software Engineering: Specification, Implementation, Verification
Object-Oriented Technology
Object-Oriented Database Programming (Monographs in Computer Science)
Relational Database Technology (Monographs in Computer Science) (Monographs in Computer Science)
The Design of Well-Structured and Correct Programs (Monographs in Computer Science) (Texts and Monographs in Computer Science)