@InProceedings{ Kreitz&al:96, Author = "C. Kreitz and K.-K. Lau and M. Ornaghi", Title = "Formal Reasoning about Modules, Reuse and their Correctness", BookTitle = "Proc. Int. Conf. on Formal and Applied Practical Reasoning, Lecture Notes in AI 1085", Editor = "D.M.~Gabbay and H.J.~Ohlbach", Year = "1996", Pages = "384-399", Publisher = "Springer-Verlag" }