Towards a uniform topological treatment of streams and functions on streams (1985)

by J W de Bakker, J N Kok
Venue:In ICALP