Constructive Aspects of the Dirichlet Problem. - Douglas S. Bridges; Wang Yuchuan (J. Univers. Comput. Sci., 1997)