On the Control of a Leader-Follower Formation of Nonholonomic Mobile Robots