JOHANNSEN, Jacob. On Computational Small Steps and Big Steps: Refocusing for Outermost Reduction. Aarhus, DK: AU Library Scholarly Publishing Services,2015. Disponível em: https://ebooks.au.dk/aul/catalog/book/8. Acesso em: 21 jun. 2025.