On programming languages with infinite output an exercise in denotational semantics - Berghammer, Rudolf 1952-; Kempf, Peter (Univ. d. Bundeswehr, 1993)
Keywords: Semantik; Programmtransformation; Programmiersprache