A programming language for local computations in graphs! Computational completeness | IEEE Conference Publication | IEEE Xplore