Sergot M. A logic-based calculus of events. New Gen Comput (1986)

by R Kowalski