@InProceedings{
Flener&al:97a,
Author = "P. Flener and K.-K. Lau and M. Ornaghi",
Title = "Correct-schema-guided Synthesis of Steadfast Programs",
BookTitle = "Proc. 12th IEEE Int. Automated Software Engineering Conf.",
Year = "1997",
Pages = "153-160",
Publisher = "IEEE Computer Society Press"   }