Algebraic specification of communication protocols | DealShopping España