J.-L. Giavitto, D. De Vito, and O. Michel.
Semantics and compilation of recursive sequential streams in 81/2. In H. Glaser and H. Kuchen, editors, Ninth International Symposium on Programming Languages, Implementations, Logics, and Programs (PLILP'97), volume 1292 of Lecture Notes in Computer Sciences, pages 207–223, Southampton, 3-5 September 1997. Springer-Verlag.