Guide to good programming practice - Meek, B. L.; Heath, P. M.; Rushby, Nicholas John (Computers and their applications, 1982)