A formalisation of violation, error recovery, and enforcement in the bit transmission problem - Lomuscio, A; Sergot, M (Journal of Applied Logic, 2004)