An abstract formalization of correct schemas for program synthesis (0)

by Pierre Flener, Kung-Kiu Lau, Mario Ornaghi, Julian Richardson
Venue:Journal of Symbolic Computation