@article{260996,
      author = {Parkes, Alan.},
      url = {http://library.usi.edu/record/260996},
      title = {Introduction to languages, machines and logic : computable  languages, abstract machines and formal logic /},
      publisher = {Springer,},
      recid = {260996},
      pages = {xi, 351 p. :},
      address = {London ;},
      year = {2002},
}