Zaslat SMS: Representations of Stream Processors Using Nested Fixed Points