Ianov Schemas Augmented by a Pushdown Memory - Nobuki Tokura; Tadao Kasami; Shukichi Furuta (SWAT, 1974)