Warrens' Abstract Machine: A Tutorial Reconstruction (1991)

by A aet-Kaci, H