Using the event calculus for tracking the normative state of contracts. - Andrew D. H. Farrell; Marek J. Sergot; Mathias Sallé; Claudio Bartolini (Int. J. Cooperative Inf. Syst., 2005)