@inproceedings{BV87Edinburgh,
    AUTHORvornamenlang = "Christoph Beierle and Angelika Voss",
    AUTHOR = "C. Beierle and A. Voss",
    TITLE = "Viewing Implementations as an Institution",
    BOOKTITLE = "Category Theory and Computer Science",
    YEAR = 1987,
    EDITOR = {D.H. Pitt and A. Poign\'{e} and D.E. Rydeheard},
    PUBLISHER = {Springer-Verlag},
    ADDRESS = springeraddress,
    SERIES = "Lecture Notes in Computer Science",
    VOLUME = 283       }