Software Development: A Rigorous Approach (1980)

by C B Jones