Confluence for process verification / J.F. Groote, M.P.A. Sellink