Have you tried following (working through) Iverson's Turing Award lecture? https://dl.acm.org/ft_gateway.cfm?id=1283935&type=pdf https://dl.acm.org/ft_gateway.

Have you tried following (working through) Iverson's Turing Award lecture? https://dl.acm.org/ft_gateway.cfm?id=1283935&type=pdf https://dl.acm.org/ft_gateway.cfm?id=1283935&type=pdf