Ronald V. Book Celia Wrathall Alan L. Selman David P. Dobkin Inclusion Complete Tally Languages and the Hartmanis-Berman Conjecture. 1-8 1977 11 Mathematical Systems Theory db/journals/mst/mst11.html#BookWSD77