Constructive topology and combinatorics
1992 ◽
pp. 159-164
◽