Order-Sorted Algebra solves the Constructor-Selector, Multiple

Joseph A. Goguen José Meseguer Order-Sorted Algebra solves the Constructor-Selector, Multiple 18-29 conf/lics/LICS2 1987 LICS db/conf/lics/lics87.html#GoguenM87