Functional approach to protocols specification. - Jakub Bojanowski; Michal Iglewski; Jan Madey; Abdellatif Obaid (PSTV, 1994)