Beyond SICP - Design and Implementation of a Notional Machine for Scheme. - Kyriel Abad; Martin Henz (CoRR, 2024)