Software Development: A Rigorous Approach (1980)

by Cliff B Jones