A Constructive Treatment of Open and Unopen Mapping Theorems. - Douglas S. Bridges; William Julian; Ray Mines (Math. Log. Q., 1989)