Richard S. Bird: Allegories as a Basis for Algorithmics. Category Theory and Computer Science 1997: 34-46