@InProceedings{
Lau&al:98,
Author = "K.-K. Lau and S. Liu and and M. Ornaghi and A. Wills",
Title = "Interacting Frameworks in \emph{{C}atalysis}",
BookTitle = "Proc. 2nd IEEE Int. Conf. on Formal Engineering Methods",
Editor = "J. Staples, M. Hinchey, and S. Liu",
Year = "1998",
Pages = "110-119",
Publisher = "IEEE Computer Society Press"   }