GitHub repository: wduminy/rcss-manual
Description: The RoboCup Soccer Simulator Users Manual