Diagram techniques for confluence by M.A. Bezem