@InProceedings{sita:rascb,
  author = {Murali Sitaraman and Steven Atkinson and Gregory Kulczycki and Bruce W. Weide and Timothy J. Long and Paolo Bucci and Scott M. Pike and Wayne Heym and Joseph E. Hollingsworth},
  title = 	 {Reasoning About Software-Component Behavior},
  booktitle = 	 {Proceedings of the 6th International Conference on Software Reuse},
  pages = 	 {266--283},
  year = 	 {2000},
  ISBN =         "3-540-67696-1",
  ISSN =         "0302-9743",
  volume = 	 {1844},
  series = 	 {LNCS},
  publisher = {Springer-Verlag},
}