A it-Kaci. Warren's Abstract Machine (1991)