Computer-aided verification of protocols by M.P.A. Sellink