@inproceedings{inproceedings, title  = {{Specifying Component and Context Specification Using Promotion.}},

 publisher = {{Springer}},

 url = {{http://www.informatik.uni-trier.de/~ley/db/conf/ifm/ifm1999.html }},

 year = {{1999}},

 month = {{1}},

 author = {{Derrick J and Boiten EA}},

 journal = {{IFM}},

 pages = {{293-312}},

 note = {{Accessed on 2024/12/26}}}