@InProceedings{Schroeder:2001:SAS,
  author =       "Lutz Schr{\"o}der and Till Mossakowski and Andrzej
                 Tarlecki and Piotr Hoffman and Bartek Klin",
  title =        "Semantics of Architectural Specifications in
                 \textsc{Casl}",
  pages =        "253--268",
  crossref =     "FASE-2001",
}

@Proceedings{FASE-2001,
  key =          "FASE~2001",
  editor =       "H. Hussmann",
  title =        "Fundamental Approaches to Software Engineering, 4th
                 International Conference, {FASE} 2001, Genova, Italy,
                 Proceedings",
  booktitle =    "Fundamental Approaches to Software Engineering, 4th
                 International Conference, {FASE} 2001, Genova, Italy,
                 Proceedings",
  year =         "2001",
  series =       "LNCS Vol.~2029",
  publisher =    "Springer",
}