@InProceedings{
Lau&Ornaghi:97,
Author = "K.-K. Lau and M. Ornaghi",
Title = "Forms of Logic Sepcifications: A Preliminary Study",
BookTitle = "Proc. LOPSTR 96, Lecture Notes in Computer Science 1207",
Editor = "J. Gallagher",
Year = "1997",
Pages = "295-312",
Publisher = "Springer-Verlag"   }