Warren’s Abstract Machine (1991)

by H Ait-Kaci