Component-Based Algebraic Specification. - Shusaku Iida; Kokichi Futatsugi; Razvan Diaconescu (Behavioral Specifications of Businesses and Systems, 1999)

Should UML Have a Single Semantics? Should UML Have a Single Core Semantics? - John Howse; Shusaku Iida; Richard Mitchell; Bernhard Rumpe (ECOOP Workshops, 1999)

Component-Based Algebraic Specification and Verification in CafeOBJ. - Razvan Diaconescu; Kokichi Futatsugi; Shusaku Iida (World Congress on Formal Methods, 1999)

Document Logic: Risk Analysis of Business Processes Through Document Authenticity. - Shusaku Iida; Grit Denker; Carolyn L. Talcott (J. Res. Pract. Inf. Technol., 2011)

Formal Verification of Effectiveness of Control Activities in Business Processes. - Yasuhito Arimoto; Shusaku Iida; Kokichi Futatsugi (IEICE Trans. Inf. Syst., 2012)