Algebraic Specification of Macintosh's Quickdraw Using OBJ2. - Ataru T. Nakagawa; Kokichi Futatsugi; Satoru Tomura; T. Shimizu (ICSE, 1988)

Stepwise Refinement Process with Modularity: An Algebraic Approach. - Ataru T. Nakagawa; Kokichi Futatsugi (ICSE, 1989)

Product-based process models. - Ataru T. Nakagawa; Kokichi Futatsugi (ISPW, 1989)

Software Process à la Algebra: OBJ for OBJ. - Ataru T. Nakagawa; Kokichi Futatsugi (ICSE, 1990)

Propagating changes in algebraic specifications. - Ataru T. Nakagawa; Kokichi Futatsugi (Softw. Eng. J., 1991)

Process Versus Product, Abstraction and Formalism: A Personal Perspective. - Ataru T. Nakagawa (EWSPT, 1992)

Formalizing humans in software processes. - Ataru T. Nakagawa; Kokichi Futatsugi (ISPW, 1994)

An Overview of CAFE Specification Environment - An Algebraic Approach for Creating, Verifying, and Maintaining Formal Specifications over Networks. - Kokichi Futatsugi; Ataru T. Nakagawa (ICFEM, 1997)

Algebra-Coalgebra Structures and Bialgebras. - Ataru T. Nakagawa (WADT, 1999)