Warren's Abstract Machine: A Tutorial Reconstruction | MIT Press eBooks | IEEE Xplore