Transformations for backtracking SETL programs. - Albert Nathan (1989)