@inproceedings{Gibbons2006:Fission,
  abstract = "Fusion is a program transformation that combines adjacent computations, flattening structure and improving efficiency at the cost of clarity. Fission is the same transformation, in reverse: creating structure, ex nihilo. We explore the use of fission for program comprehension, that is, for reconstructing the design of a program from its implementation. We illustrate through rational reconstructions of the designs for three different C programs that count the words in a text file.",
  author = "Jeremy Gibbons",
  booktitle = "Mathematics of Program Construction",
  editor = "Tarmo Uustalu",
  pages = "162-179",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  title = "Fission for Program Comprehension",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/fission.pdf",
  volume = "4014",
  year = "2006",
}