A logic of events (2003)

by M Bickford, R L Constable