Executable Modal and Temporal Logics - häftad, Engelska, 1995