New York; London: Garland Publications, 1988. — 413 p. — (Outstanding Dissertations in Linguistics).
A major part of the dissertation is devoted to developing and motivating such a theory of "file change semantics," and to making precise its relation to conventional truth-conditional semantics.