M. H. Halstead
Purdue University, Lafayette, Indiana
Elements of Software Science (Operating and programming systems series)