https://9lib.org/document/4yrrpvoy-language-parametric-methods-for-developing-interactive-programming-systems.html