Title: An object orient [i.e. oriented] program specification for a mobile robot motion control language