Wesley Kerr, Diana F. Spears, William M. Spears, David R. Thayer: Two Formal Gas Models for Multi-agent Sweeping and Obstacle Avoidance. FAABS 2004: 111-130