@InProceedings{
Flener&al:97,
Author = "P. Flener and K.-K. Lau and M. Ornaghi",
Title = "On Correct Program Schemas",
BookTitle = "Proc. LOPSTR 97, Lecture Notes in Computer Science 1463",
Editor = "N. Fuchs",
Year = "1998",
Pages = "124-143",
Publisher = "Springer-Verlag"   }