@article{773536,
      author = {Berger, Ulrich.},
      url = {http://library.usi.edu/record/773536},
      title = {Logic, construction, computation [electronic resource] /},
      publisher = {ontos,},
      recid = {773536},
      pages = {540 p. :},
      address = {Heusenstamm [Germany] :},
      year = {2012},
}