A. J. Payne
Waikato University, New Zealand
Elements of Software Science (Operating and programming systems series)