https://eduexpertisehub.com/2024/03/31/practical-foundations-for-programming-languages/