Equivalent Transformation Rules as Components of Programs. - Hiroshi Mabuchi; Kiyoshi Akama; Toshihiro Wakatsuki (ICICIC (2), 2006)

Conceptual Modelling and Program Generation for Dynamic Interactive Systems. - Courtney Powell; Kiyoshi Akama; Toshihiro Wakatsuki (PDCAT, 2008)