Optimized program extraction for induction and coinduction
scientific article; zbMATH DE number 6932459