The DOCTOR system. A DOCumenTary ORiented programming system