@inproceedings{BeierleVoss86ADT,
  AUTHOR    = "C. Beierle and A. Voss",
  title     = {Vertical and Horizontal Compositions of Implementation Specifications},
  booktitleSHORT = {ADT},
  year      = {1986},
  booktitle = {Proceedings 4th Workshop on Abstract Data Type},
  editorLONG    = {Klaus Drosten, Hans-Dieter Ehrich, Martin Gogolla, Udo W. Lipeck},
  editor    = {K. Drosten and H.-D. Ehrich and M. Gogolla and U. Lipeck},
  publisherNNN = {University of Braunschweig, Department of Computer Science, Informatik-Bericht Nr. 86-09},
  publisher = {Informatik-Bericht Nr. 86-09, University of Braunschweig, 
               Department of Computer Science}
}