@conference{149781,
  author = {John Horst and Elena Messina and Thomas Kramer and Hui-Min Huang},
  title = {Precise Definition of Software Component Specifications},
  year = {1997},
  month = {1997-04-30},
  publisher = {Proceedings of the 7th Symposium on Computer-Aided Control System Design (CACSD '97), Gent, BE},
  url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=820590},
  language = {en},
}