Computability theory, semantics, and logic programming - Fitting, Melvin (New York : Oxford University Press, 1987)
Keywords: Computable functions; Data structures (Computer science)