@InProceedings{
Lau&al:97a,
Author = "K.-K. Lau and M. Ornaghi and A. Wills",
Title = "Frameworks in \emph{{C}atalysis}: Pictorial Notation and
         Formal Semantics",
BookTitle = "Proc. 1st IEEE Int. Conf. on Formal Engineering Methods",
Editor = "M. Hinchey and S. Liu",
Year = "1997",
Pages = "213-220",
Publisher = "IEEE Computer Society Press"   }