https://bookodyssey.gr/product/practical-foundations-for-programming-languages/