Lawrence S. Moss Satish R. Thatte Optimal semantics of data type extensions. 161-180 1988 conf/aluacs/1988 Algebraic Logic and Universal Algebra in Computer Science db/conf/aluacs/aluacs1988.html#MossT88 http://dx.doi.org/10.1007/BFb0043083