https://123dok.org/document/zwvr67g7-stream-model-and-known-sequence-length.html