BCPL - the language and its compiler - Richards, Martin; Whitby-Strevens, Colin (Cambridge CUP, 1982)