@InProceedings{
Lau&Ornaghi:01,
Author = "K.-K. Lau and M. Ornaghi",
Title = "A Formal Approach to Software Component Specification",
BookTitle = "Proceedings of Specification and Verification of 
             Component-based Systems Workshop at OOPSLA2001",
Editor = "D. Giannakopoulou, G.T. Leavens and M. Sitaraman",
Year = "2001",
Pages = "88-96",
Note = "Tampa, USA, October 2001"   }