@InProceedings{Lau:2000:APSEC,
  author =       "Kung-Kiu Lau and Juliana K{\"u}ster Filipe and M. Ornaghi
                  and K. Taguchi and H. Yatsu and Alan Cameron Wills",
  title =        "Formal Specification of {Catalysis} Frameworks",
  booktitle =    "Proceedings of APSEC 2000",
  editor =       "N.N.",
  publisher =    "IEEE Computer Society",
  year =         "2000",
}