https://intlibrary.ir/download/eine-formale-algorithmische-synthese-digitale-52636/