@inproceedings{BV87TAPSOFT,
    AUTHORlang = "Christoph Beierle and Angelika Voss",
    AUTHOR = "C. Beierle and A. Voss",
    TITLE = "Theory and Practice of Canonical Term Functors in
             Abstract Data Type Specifications",
    BOOKTITLE = "TAPSOFT'87 - Proceedings of the International Joint
                 Conference on Theory and Practice of Software Development",
    YEAR = 1987,
    EDITOR = "H. Ehrig and R. Kowalski and G. Levi and U. Montanari",
    PUBLISHER = {Springer-Verlag},
    ADDRESS = springeraddress,
    SERIES = "Lecture Notes in Computer Science",
    VOLUME = 250       }