Hsien-Kuang Chiou Willard Korfhage ENF Event Predicate Detection in Distributed Systems. 91-100 1994 PODC db/conf/podc/podc94.html#ChiouK94