Goles, et al.. Pspace-completeness of Majority Automata Networks. Elsevier BV, 2016, doi:10.1016/j.tcs.2015.09.014.