Torben Scheffel: Expressiveness and complexity of stream-based specification languages. University of Lübeck, Germany 2022