Productivity of stream definitions

Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop. Productivity of stream definitions. Theoretical Computer Science, 411(4-5):765-782, 2010. [doi]

Abstract

Abstract is missing.