Elements of software science (Operating and programming systems series)