https://intlibrary.ir/download/minimierung-programmierbarer-funktionen-disser--68225/