Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci - View it on GitHub