@inproceedings{BV87STACS,
    AUTHORlong = "Christoph Beierle and Angelika Voss",
    AUTHOR = "C. Beierle and A. Voss",
    TITLE = "On Implementations of Loose Abstract Data Type Specifications
             and their Vertical Composition",
    BOOKTITLE = "Proceedings of the Fourth Annual Symposium an Theoretical
                 Aspects of Computer Science (STACS-87)",
    YEAR = 1987,
    EDITOR = "F.-J. Brandenburg and G. Vidal-Naquet and M. Wirsing",
    PUBLISHER = {Springer-Verlag},
    ADDRESS = springeraddress,
    SERIES = "Lecture Notes in Computer Science",
    VOLUME = 247       }