Book

Tense and the logic of change

by Reinhard Muskens