Some properties of four-dimensional multicounter automata. - Makoto Saito; Makoto Sakamoto; Youichirou Nakama; Takao Ito; Katsushi Inoue; Hiroshi Furutani; Susumu Katayama (Artif. Life Robotics, 2006)