Constructive system for automatic program synthesis
scientific article; zbMATH DE number 4145300
scientific article