A Proof System for Conditional Algebraic Specifications.

Emmanuel Kounalis Michaël Rusinowitch A Proof System for Conditional Algebraic Specifications. 51-63 1990 conf/ctrs/1990 CTRS db/conf/ctrs/ctrs90.html#KounalisR90