| Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
| 2005 | Countdown: a case study in origami programming | Bird, R. S.; Mu, S-C. | Journal of Functional Programming 15, 679-702 | | | |
| 2002 | Inverting functions as folds | Mu, S-C.; Bird, R. S. | | | | |
| 2004 | Inverting the Burrows-Wheeler transform | Bird, R. S.; Mu, S-C. | Journal of Functional Programming 14, 603-612 | | | |
| 2001 | Inverting the Burrows-Wheeler Transform | Bird, R. S.; Mu, S-C. | | | | |
| 2000 | On building trees with minimum height, relationally | Mu, S-C.; Bird, R. S. | | | | |
| 2001 | Quantum functional programming | Mu, S-C.; Bird, R. S. | | | | |
| 2003 | Rebuilding a tree from its traversals: a case study of program inversion | Mu, S-C.; Bird, R. S. | | | | |
| 2003 | Theory and applications of inverting functions as folds | Mu, S-C.; Bird, R. S. | Science of Computer Programming 51, 87-116 | | | |
