A set and mapping-based detection and solution method for structure clash between program input and output data. - Masaaki Hashimoto; Katsumi Okamoto (COMPSAC, 1990)

On Real-Time Program Specification Description with a Data Model-Based Language. - Katsumi Okamoto; Masaaki Hashimoto (ICCI, 1990)