Katsushi Inoue, Itsuo Takanami, Hiroshi Taniguchi: Two-Dimensional Alternating Turing Machines. STOC 1982: 37-46