Describir: Theory and Algorithms for Cooperative Systems.