https://123dok.net/document/yd7k14gg-stable-relations-and-abstract-interpretation-higher-order-programs.html