ANDREW ADAMATZKY, “PHYSARUM MACHINE: IMPLEMENTATION OF A KOLMOGOROV-USPENSKY MACHINE ON A BIOLOGICAL SUBSTRATE”, Parallel Process. Lett., 17, № 04, 2007, 455
Wilfried Sieg, John Byrnes, 6, Gödel ’96, 1996, 98
Cristian Calude, J.UCS The Journal of Universal Computer Science, 1996, 48
Jaime Ramos, João Rasga, Cristina Sernadas, “Essential Structure of Proofs as a Measure of Complexity”, Log. Univers., 14, № 2, 2020, 209
Andrew Schumann, “Towards Context-Based Concurrent Formal Theories”, Parallel Process. Lett., 25, № 01, 2015, 1540008