2 books • 2 series
Structured Techniques for Systems Analysis (Information systems)
Z for Software Engineers (Ellis Horwood Series in Computers and Their Applications)