@InProceedings{ Lau&al:97, Author = "K.-K. Lau and C.D.M. Moss and M. Ornaghi", Title = "Formal Development of Correct Classes in Computational Logic", BookTitle = "Proc. BCS-FACS Northern Formal Methods Workshop", Editor = "D.J. Duke and A.S. Evans", Year = "1997", Series = "Electronic Workshops in Computing Series", Publisher = "Springer-Verlag", Note = "Abstract on page 3." }