bGSL: An imperative language for specification and refinement of backtracking programs. - Steve Dunne; João F. Ferreira 001; Alexandra Mendes; Campbell Ritchie; Bill Stoddart; Frank Zeyda (J. Log. Algebraic Methods Program., 2023)