A workbook for learning programming through robotics