Axiomatisation of "IF: : : THEN: : : ELSE" revisited (1984)

by I Guessarian, J Meseguer
Venue:Laboratoire Informatique Theorique et Programmation, Universit'e P. et M