Sergey Bereg Andrei Kelarev An Algorithm for Analysis of Images in Spatial Information Systems. 557-565 2003 8 Journal of Automata, Languages and Combinatorics 4 db/journals/jalc/jalc8.html#BeregK03