A logic of events (2003)

by Mark Bickford, Robert L. Constable