A simple detailed proof for Goedel's incompleteness theorem Aleksei Lʹvovich Semenov (1988) Kybernetika
A Six States Minimal Time Solution to the Firing Squad Synchronization Problem Jacques Mazoyer (1986) Publications du Département de mathématiques (Lyon)
A survey on real structural complexity theory. Meer, Klaus, Michaux, Christian (1997) Bulletin of the Belgian Mathematical Society - Simon Stevin