@InProceedings{
Lau&Ornaghi:94,
Author = "K.-K. Lau and M. Ornaghi",
Title = "A Formal View of Specification, Deductive Synthesis and 
         Transformation of Logic Programs",
BookTitle = "Logic Program Synthesis and Transformation",
Editor = "Y. Deville",
Pages = "10-31",
Publisher = "Springer-Verlag",
Series = "Workshops in Computing",
Note = "Proceedings of Third International Workshop on Logic Program Synthesis 
        and Transformation",
Year = "1994"             }