2 books • 1 series
A Theory and Practice of Program Development (Formal Approaches to Computing and Information Technology (FACIT))
The Software Life Cycle