MuPAD codes which implement limit-computable functions that cannot be bounded by any computable function - Apoloniusz Tyszka (Annals of computer science and information systems)