Ordinal machines and admissible recursion theory. - Peter Koepke; Benjamin Seyfferth (Ann. Pure Appl. Log., 2009)

Towards a Theory of Infinite Time Blum-Shub-Smale Machines. - Peter Koepke; Benjamin Seyfferth (CiE, 2012)

Tree Representations via Ordinal Machines. - Philipp Schlicht; Benjamin Seyfferth (Comput., 2012)

On λ-Definable Functions on Ordinals. - Tim Fischbach; Benjamin Seyfferth (CiE, 2013)