Cumulative Subject and Author Index, Including Tables of Contents Volumes 1-23 by Allan D. Pierce & R. Thurston