Hideki Tsuiki A domain-theoretic semantics of lax generic functions. 307-331 2003 294 Theor. Comput. Sci. 1/2 db/journals/tcs/tcs294.html#Tsuiki03