Weak System Models for Distributed Agreement Problems by Peter Robinson