Dolev, D., Heljanko, K., Järvisalo, M., Korhonen, J. H., Lenzen, C., Rybicki, J., Suomela, J., & Wieringa, S. (2016). Synchronous Counting and Computational Algorithm Design. Journal of Computer and System Sciences, 82(2), 310-332. doi:10.1016/j.jcss.2015.09.002.