An abstract formalization of correct schemas for program synthesis
scientific article; zbMATH DE number 1523432