Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems (1987)

by J Goguen, J Meseguer
Venue:Proc. 2nd IEEE Symp. on Logic in Computer Science