@InProceedings{Hoffman:2001:VAS,
  author =       "Piotr Hoffman",
  title =        "Verifying Architectural Specifications",
  pages =        "152--175",
  crossref =     "WADT-2001",
}

@Proceedings{WADT-2001,
  key =          "WADT~2001",
  editor =       "M. Cerioli and G. Reggio",
  title =        "Recent Trends in Algebraic Development Techniques,
                 15th International Workshop, {WADT} 2001, Joint with
                 the {CoFI} {WG} Meeting, Genova, Italy, 2001, Selected
                 Papers",
  booktitle =    "Recent Trends in Algebraic Development Techniques,
                 15th International Workshop, {WADT} 2001, Joint with
                 the {CoFI} {WG} Meeting, Genova, Italy, 2001, Selected
                 Papers",
  year =         "2001",
  series =       "LNCS Vol.~2267",
  publisher =    "Springer",
}