%0 Book
%A  edited by G Q Zhang, J. Lawson, Y.-M. Liu, M.-K. Luo.
%T Domain Theory, Logic and Computation : 
%U /book/90143913/Domain-Theory-Logic-and-Computation/