Mohamed Jmaiel A Unified Algebraic Framework for Specifying Communication Protocols. 57-66 2000 ICFEM http://computer.org/proceedings/icfem/0822/08220057abs.htm db/conf/icfem/icfem2000.html#Jmaiel00