Schlumpf: Streams

Martin Schlumpf, Martin Levicky, Matthias Müller, Petr Nouzovský, Marek Vajo