Isomorphism of typed algebraic specifications (1993)

by J-C Reynaud
Venue:Internal Report, LGI-IMAG