Text this: Algebraic specification of communication protocols