<. Pointfunctorpredicate and . Image, Binarizer > predicate ( image , b )

G. T. Herman, Discrete multidimensional Jordan surfaces, CVGIP: Graphical Models and Image Processing, pp.507-5151049, 1992.
DOI : 10.1090/conm/119/1113901

T. Y. Kong and A. Rosenfeld, Digital Topology, pp.357-393, 1989.
DOI : 10.1007/978-1-4615-1529-6_3

V. A. Kovalevsky, Finite topology as applied to image analysis, Computer Vision, Graphics, and Image Processing, pp.141-1610734, 1989.
DOI : 10.1016/0734-189x(89)90165-5
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.8674

J. Lachaud, Coding cells of digital spaces: a framework to write generic digital topology algorithms, Proceedings of 9th International Workshop on Combinatorial Image Analysis (IWCIA'2003), pp.337-348, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00308202

A. Rosenfeld, Adjacency in digital pictures, Connectivity in digital pictures, pp.146-160, 1970.
DOI : 10.1016/S0019-9958(74)90696-2

J. K. Udupa, Multidimensional digital boundaries, CVGIP: Graphical Models and Image Processing, pp.311-323, 1994.