Warren's Abstract Machine, A Tutorial Reconstruction (1991)

by Hassan A't-Kaci