@InProceedings{ Lau&Ornaghi:97b, Author = "K.-K. Lau and M. Ornaghi", Title = "Modules, Reuse and Correctness", BookTitle = "Proceedings of the Workshop on Logic-based Software Composition", Editor = "A.~Brogi and P.~Hill", Year = "1997", Pages = "59-72", Note = "Leuven, Belgium, July 1997" }