P. H. Aczel

• Algebraic specification of communication protocols