Гасаненко, Одностековая реализация бэктрекинга для языка Форт, ТС, т. 1, вып. 1, сс. 211-223, фев. 2002.