Program Extraction in Constructive Analysis
scientific article