number computability and domain theory (1996)

by Real
Venue:Inform. and Comput