Text this: Warren's abstract machine : a tutorial reconstruction / Hassan Aït-Kaci.