A Distributed Algorithm for Proportional Task Allocation in Networks of Mobile Agents | IEEE Journals & Magazine | IEEE Xplore