Added ++-Stream.
s/tailS/∷-Stream.
Moved bibliographic references.