Warren's Abstract Machine: A Tutorial Reconstruction - Mishkin (IEEE, 2003)