["Task Sequencing Language for Specifying Distributed Ada

Systems", D.C. Luckham et al in PARLE: Parallel Architectures

and Langs Europe, LNCS 259, Springer 1987, pp.444-463].