Order-Sorted Equality Enrichments Modulo Axioms

Gutiérrez Gil Raúl, José Meseguer, Rocha Camilo

2015

Science of Computer Programming