Confluence for process verification by J.F. Groote