Abstract Data Types and Rewriting Systems: Application to the Programming of Algebraic Abstract Data Types in Prolog.

Marc Bergman Pierre Deransart Abstract Data Types and Rewriting Systems: Application to the Programming of Algebraic Abstract Data Types in Prolog. 101-116 1981 conf/caap/1981 CAAP db/conf/caap/caap81.html#BergmanD81 http://dx.doi.org/10.1007/3-540-10828-9_57