Deontic concepts in the algebraic specification of dynamic systems: The permission case