The Influence of Productions on Derivations and Parsing. - Benton L. Leong; Detlef Wotschke (POPL, 1976)

New Real-Time Simulations of Multihead Tape Units - Benton L. Leong; Joel I. Seiferas (STOC, 1977)

On Strict Interpretations of Grammar Forms. - Seymour Ginsburg; Benton L. Leong; Otto Mayer; Detlef Wotschke (Math. Syst. Theory, 1979)

Computing Sequences with Addition Chains. - Peter J. Downey; Benton L. Leong; Ravi Sethi (SIAM J. Comput., 1981)

Iris: design of an user interface program for symbolic algebra. - Benton L. Leong (SYMSAC, 1986)

Maple V - library reference manual. - Bruce W. Char; Keith O. Geddes; Gaston H. Gonnet; Benton L. Leong; Michael B. Monagan (Springer, 1991)

Maple V - language reference manual. - Bruce W. Char; Keith O. Geddes; Gaston H. Gonnet; Benton L. Leong; Michael B. Monagan (Springer, 1991)