IT s a text in theoretical computer science (esp. treatment of Abstract Machines)...full of research papers-IT s a text in theoretical computer science (esp. treatment of Abstract Machines)...full of research papers..