Richard S. Bird, Oege de Moor. Solving Optimisation Problems with Catamorphism. In Richard S. Bird, Carroll Morgan, Jim Woodcock, editors, Mathematics of Program Construction, Second International Conference, Oxford, U.K., June 29 - July 3, 1992, Proceedings. Volume 669 of Lecture Notes in Computer Science, pages 45-66, Springer, 1992.
@inproceedings{BirdM92,
title = {Solving Optimisation Problems with Catamorphism},
author = {Richard S. Bird and Oege de Moor},
year = {1992},
researchr = {https://researchr.org/publication/BirdM92},
cites = {0},
citedby = {0},
pages = {45-66},
booktitle = {Mathematics of Program Construction, Second International Conference, Oxford, U.K., June 29 - July 3, 1992, Proceedings},
editor = {Richard S. Bird and Carroll Morgan and Jim Woodcock},
volume = {669},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-56625-2},
}