Constraint programming on infinite data streams. - Fai Keung Siu (2013)