Abstract Dependence, Recursion Theory and the Lattice of Recursively Enumerable Filters (1982)

by R Downey