Studies in computer aided verification of protocols - Griffioen, Willem Otto David (IPA dissertation series / IPA, Instituut voor Programmatuurkunde en Algorithmiek, 2000)