(ref.doc)spe27-5

Software Practice & Experience
May 97, Vol 27, No 5

p 497 Achieving Incremental Compilation  through Fine-grained Builds
by T. Cooper and M. Wise
  The Barbados system: based on C++

p 599 An Experiment with Reactive Data-flow Tasking in Active Robot Vision
by E.P. Rutten, E. Marchand and F. Chaumette
  [...] checking of the consistency of synchronizations between data
  flows (e.g. detection of dependency cycles, i.e. deadlocks) [...]
  [with the synchronous hypothesis]