@InProceedings{Klin:2001:CAC,
  author =       "Bartek Klin and Piotr Hoffman and Andrzej Tarlecki and
                 Lutz Schr{\"o}der and Till Mossakowski",
  title =        "Checking Amalgamability Conditions for \textsc{Casl}
                 Architectural Specifications",
  pages =        "451--463",
  crossref =     "MFCS-2001",
}

@Proceedings{MFCS-2001,
  key =          "MFCS~2001",
  editor =       "J. Sgall and A. Pultr and P. Kolman",
  title =        "Mathematical Foundations of Computer Science 2001,
                 26th International Symposium, {MFCS} 2001, Marianske
                 Lazne, Czech Republic, Proceedings",
  booktitle =    "Mathematical Foundations of Computer Science 2001,
                 26th International Symposium, {MFCS} 2001, Marianske
                 Lazne, Czech Republic, Proceedings",
  year =         "2001",
  series =       "LNCS Vol.~2136",
  publisher =    "Springer",
}