1. Calude, C.S., Calude, E.: The Complexity of Mathematical Problems: An Over-view of Results and Open Problems. CDMTCS Research Report 410 (2011)
2. Burgin, M., Calude, C.S., Calude, E.: Inductive Complexity Measures for Mathematical Problems. CDMTCS Research Report 416 (2011)
3. Goodstein, R.: On the restricted ordinal theorem. Journal of Symbolic Logic 9, 33–41 (1944)
4. Kirby, L., Paris, L.J.: Accessible independence results for Peano arithmetic. Bulletin of the London Mathematical Society 14, 285–293 (1982)
5. Calude, C.S., Calude, E., Dinneen, M.J.: A new measure of the difficulty of problems. Journal for Multiple-Valued Logic and Soft Computing 12, 285–307 (2006)