@article{1369443,
      author = {Viana, David Leite, and Morais, Franklim, and Vaz, Jorge  Vieira,},
      url = {http://library.usi.edu/record/1369443},
      title = {Formal methods in architecture and urbanism /},
      recid = {1369443},
      pages = {1 online resource (405 pages)},
}