Book

Design and analysis of software systems

by Alan Daniels, Donald Yeates