Ordinal computability an introduction to infinitary machines - Carl, Merlin 1982- (De Gruyter, 2019)