North-Holland
Science of Computer Programming

Fokkinga, M. (1991). An exercise in transformational programming: backtracking and branch-and-bound. Science of Computer Programming, 16(1), 19–48.