1st International Conference on Formal Engineering Methods (ICFEM '97) November 12 - 14, 1997 Hiroshima, JAPAN

• Galloway, A.J. and Stoddart, W.J. (1997) Galloway, A.J. and Stoddart, W.J. "An operational semantics for ZCCS" p272
• K. Futatsugi, A. Nakagawa (1997) K. Futatsugi, A. Nakagawa "An overview of CAFE specification environment-an algebraic approach for creating, verifying, and maintaining formal specifications over networks" p170