Maarten M. Fokkinga. An Exercise in Transformational Programming: Backtracking and Branch-and-Bound. Science of Computer Programming, 16(1):19-48, 1991.
@article{Fokkinga91, title = {An Exercise in Transformational Programming: Backtracking and Branch-and-Bound}, author = {Maarten M. Fokkinga}, year = {1991}, tags = {programming, transformation, program transformation}, researchr = {https://researchr.org/publication/Fokkinga91}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {16}, number = {1}, pages = {19-48}, }