Hassan Aït-Kaci

1954

• Warren's abstract machine