On the axiomatization of “if-then-else”

• Authors:

• Irène Guessarian;José Meseguer

• Affiliations:

• Univ. Paris VII, Paris, France;SRI International, Menlo Park, CA

• Venue:
• SIAM Journal on Computing
• Year:
• 1987