Confluence for process verification door J.F. Groote