"Warren's Abstract Machine: a tutorial reconstruction" - читать интересную книгу автора (Hassan Aït-Kaci)