Nilsen, K. "A stream data type that supports goal-directed pattern matching on unbounded sequences of values"

(1990)

(1990) Computer Languages 15(1)  

Languages mentioned