@article{1412304,
      author = {Winskel, G.},
      url = {http://library.usi.edu/record/1412304},
      title = {The formal semantics of programming languages : an  introduction /},
      publisher = {MIT Press,},
      recid = {1412304},
      pages = {1 online resource (xviii, 361 pages) :},
      address = {Cambridge, Mass. :},
      year = {1993},
}