@article{1363950,
      author = {Back, Ralph-Johan, and Wright, J. von},
      url = {http://library.usi.edu/record/1363950},
      title = {Refinement calculus : a systematic introduction /},
      recid = {1363950},
      pages = {1 online resource (519 pages) :},
}