Ian East Concurrent/Reactive System Design with Honeysuckle. 109-118 2007 CPA conf/wotug/2007 db/conf/wotug/cpa2007.html#East07