On infinite computations in denotational semantics - Bakker, Jacobus W. de 1939-2012; Meyer, John-Jules Ch. 1954-; Zucker, Jeffrey I. (1982)