https://intlibrary.ir/download/symbolische-maschinen.-die-idee-der-formalisierung-80746/