Computational proximity : excursions in the topology of digital images /: excursions in the topology of digital images. (2016)