Djikstra on natural language programming