DANVY, Olivier; JOHANNSEN, Jacob. From Outermost Reduction Semantics to Abstract Machine. Aarhus, DK: AU Library Scholarly Publishing Services,2015. Disponível em: https://ebooks.au.dk/aul/catalog/book/3. Acesso em: 21 jun. 2025.