https://123dok.net/document/yd7ko331-algorithmic-completeness-of-bsp-languages.html