@article{1399650,
      recid = {1399650},
      author = {Safonov, V. O.},
      title = {Trustworthy compilers /},
      publisher = {Wiley,},
      address = {Hoboken, N.J. :},
      pages = {1 online resource (xx, 295 pages).},
      year = {2010},
      url = {http://library.usi.edu/record/1399650},
}