@Article{Schroeder:2005:ASC,
  author =       "Lutz Schr{\"o}der and Till Mossakowski and Andrzej
                 Tarlecki and Bartek Klin and Piotr Hoffman",
  title =        "Amalgamation in the Semantics of \textsc{Casl}",
  journal =      "Theoretical Computer Science",
  year =         "2005",
  volume =       "331",
  number =       "1",
  pages =        "215--247", 
}