Hallerstede, Stefan (2008) On the Purpose of Event-B Proof Obligations. In: ABZ2008, September 2008, London. (In Press)