J. Kepner, P. Aaltonen, D. A. Bader, A. B. c, F. Franchetti, J. R. Gilbert, D. Hutchison, M. Kumar, A. Lumsdaine, H. Meyerhenke, S. McMillan, J. E. Moreira, J. D. Owens, C. Yang, M. Zalewski, and T. G. Mattson. M}athematical {F}oundations of the {G}raph{B}LA{S. CoRR, volume 160605790, 2016.