An Abstract Formalisation of Correct Schemas for Program Synthesis (2000)

by P Flener, K-K Lau, M Ornaghi, J Richardson
Venue:Journal of Symbolic Computation