Un formalisme pour la spécification des contrôleurs temps-réel de procédés discrets. (A formal system for specifying real-time checkers of discrete process). - Cláudio Walter (1981)

Control Software Specification and Design: An Overview. - Cláudio Walter (Computer, 1984)

A informática no planejamento da produção fabril: necessidades e métodos. - Cláudio Walter (RITA, 1989)

Computer Aided Quotations for the Capital Goods Industry. - Cláudio Walter; Otto Ries (One-Of-A-Kind Production, 1991)

A Data Modeling Framework for OKP Design and Management. - Cláudio Walter; Otto Ries (Integration in Production Management Systems, 1992)

Plant Engineering: Conceptual Modeling and Modular Design of a Computer Aided Environment. - Cláudio Walter; José Palazzo M. de Oliveira; Aldo Sani Jr. (APMS, 1993)