Chung-Ming Huang Ye-In Chang Duen-Tay Huang A State-Transition-Based Incremental Protocol Specification. 30-37 1994 ACM Conference on Computer Science http://doi.acm.org/10.1145/197530.197553 db/conf/acm/csc94.html#HuangCH94