@InProceedings{Lau&al:06,
  Title = "A Software Component Model and Its Preliminary Formalisation",
  Author = "K.-K. Lau and M. Ornaghi and Z. Wang",
  editor = " F.S. {de Boer \emph{et al}.}",
  booktitle = "Proc. 4th
  International Symposium on Formal Methods for Components and
  Objects, LNCS 4111",
  pages = "1-21",
  publisher = "Springer-Verlag",
  year = "2006"     }