https://9dok.net/document/zx5mxngo-symposium-on-programming-languages-and-software-tools.html