@InProceedings{Hoffman:2003:VGC,
  author =       "Piotr Hoffman",
  title =        "Verifying Generative \textsc{Casl} Architectural Specifications",
  pages =        "233--252",
  crossref =     "WADT-2002",
}


@Proceedings{WADT-2002,
  key =          "WADT~2002",
  editor =       "M. Wirsing and D. Pattinson and R. Hennicker",
  title =        "Recent Trends in Algebraic Development Techniques,
                 16th International Workshop, {WADT} 2002,
                 Frauenchiemsee, Germany, 2002, Revised Selected
                 Papers",
  booktitle =    "Recent Trends in Algebraic Development Techniques,
                 16th International Workshop, {WADT} 2002,
                 Frauenchiemsee, Germany, 2002, Revised Selected
                 Papers",
  year =         "2003",
  series =       "LNCS Vol.~2755",
  publisher =    "Springer",
}