Algebraic specification of user interfaces