@article{1412201,
      author = {Aït-Kaci, Hassan,},
      url = {http://library.usi.edu/record/1412201},
      title = {Warren's abstract machine : a tutorial reconstruction /},
      publisher = {MIT Press,},
      recid = {1412201},
      pages = {1 online resource (xvi, 114 pages) :},
      address = {Cambridge, Mass. :},
      year = {1991},
}