T, a simple reduction language based on combinatory term rewriting - Ida, Tetsuo; Toyama, Yoshihito; Aiba, Akira (1987)