@article{1363906,
      author = {Lano, K.,},
      url = {http://library.usi.edu/record/1363906},
      title = {The B language and method : a guide to practical formal  development /},
      recid = {1363906},
      pages = {1 online resource (239 pages) :},
}