Jan Friso Groote Jan Springintveld Focus points and convergent process operators: a proof strategy for protocol verification. 31-60 2001 49 J. Log. Algebr. Program. 1-2 db/journals/jlp/jlp49.html#GrooteS01