1 book • 1 series
Construction of Formal Specifications (McGraw-Hill International Series in Software Engineering)