Vasco Brattka Atsushi Yoshikawa Towards computability of elliptic boundary value problems in variational formulation. 858-880 2006 22 J. Complexity 6 http://dx.doi.org/10.1016/j.jco.2006.04.007 db/journals/jc/jc22.html#BrattkaY06