1. How to defend a theory without testing it;Achinstein;Midwest Studies In Philosophy,1993
2. Every planar map is four colorable. Part I. Discharging;Appel;Illinois J. Math,1977
3. Every planar map is four colorable. Part II;Appel;Reducibility, Illinois J. Math.,1977