T. C. Nicholas Graham: Temporal Constraint Functional Programming: A Declarative Framework for Concurrency and Interaction. Declarative Programming 1991: 83-100