Modelling operating system structures by timed stream processing functions. - Broy, Manfred; Dendorfer, Claus (Journal of Functional Programming, 1992)