On Backtracking and Greatest Fixpoints Formal Description of Programming Concepts (1978)

by W de Roever