S. Bessy, D. Gonçalves, and J.-S. Sereni, “Two-floor buildings need eight colors”, JGAA, vol. 19, no. 1, pp. 1–9, Jan. 2015.