@InProceedings{
   Filipe&al:00a,
   Author = "J. {K{\"u}ster Filipe} and K.-K. Lau and M. Ornaghi and K. Taguchi
             and A. Wills and H. Yatsu",
   Title = "Formal Specification of {C}atalysis Frameworks",
   Editor = "J.S. Dong and J. He and M. Purvis",
   BookTitle = "Proc. 7th {A}sia-{P}acific {S}oftware {E}ngineering {C}onference",
   Pages = "180-187",
   Publisher = "IEEE {C}omputer Society Press",
   Year = "2000"     }