M. Kokowski, “Copernicus and the Hypothetico-Deductive Method of Correspondence Thinking”, THS, vol. 5, pp. 7–101, Jan. 2007.