Algebraic process verification / by J.F. Groote and M.A. Reniers