Robert L. Ashenhurst
The Univ. of Chicago, Chicago, IL
Elements of Software Science (Operating and programming systems series)
Softwear Reliability