3 books • 3 series
Notations for Software Design (Workshops in Computing)
A Formalisation of Design Methods (Ellis Horwood Series in Computers and Their Applications)
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science)