https://123dok.net/document/qmj59rw9-towards-a-systematic-approach-for-software-synthesis.html