Title: Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems
First published: 1987
Subjects: Albegra, Abstract data types (Computer science), Algebra
LC classification: QA76.9.A23 G64 1987