Describir: Theory and algorithms for cooperative systems