G. Koester, “4-critical 4-valent planar graphs constructed with crowns”., Math. Scand., vol. 67, pp. 15–22, Jun. 1990, doi: 10.7146/math.scand.a-12316.