Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study
automatic top-down approach to program development
scientific article; zbMATH DE number 4045110
scientific article