Hassan Aït-Kaci Warren's Abstract Machine: A Tutorial Reconstruction MIT Press 1991 0-262-01123-9