Stability and Computability in Coherent Domains Andrea Asperti 115-139 Inf. Comput. June 1990 86 2 db/journals/iandc/iandc86.html#Asperti90