Including control in the definition of a programming language for multi-robots | IEEE Conference Publication | IEEE Xplore