TY - CONF T1 - Specifying Component and Context Specification Using Promotion. JO - IFM UR - https://doi.org/10.1007/978-1-4471-0851-1 PY - 1999/01/01 AU - Derrick J AU - Boiten EA ED - Araki K ED - Galloway A ED - Taguchi K PB - Springer SP - 293 EP - 312 Y2 - 2025/11/27 ER -