Bruce R. Montague Charles E. McDowell Synchronous/Reactive Programming of Concurrent System Software. 207-243 1997 27 Softw., Pract. Exper. 3 db/journals/spe/spe27.html#MontagueM97