Manfred Broy Claus Dendorfer Modelling Operating System Structures by Timed Stream Processing Functions. 1-21 1992 2 J. Funct. Program. 1 db/journals/jfp/jfp2.html#BroyD92