I like how the McCarthy's paper maps the fundamental operations to machine instructions and memory model. It's like something you can actually implement.