Implementation of an Array Bound Checker. - Norihisa Suzuki; Kiyoshi Ishihata (POPL, 1977)

A Method of Program Transformation between Variable Sharing and Message Passing. - Teruo Hikita; Kiyoshi Ishihata (Softw. Pract. Exp., 1985)