Time, tense, and quantifiers proceedings of the Stuttgart Conference on the Logic of Tense and Quantification (Niemeyer, 1980)
Includes bibliographical references