Modelling operating system structures by timed stream processing functions (1992)

by M Broy, C Dendorfer
Venue:Journal of Functional Programming