@article{1386617,
      recid = {1386617},
      author = {Chlipala, Adam,},
      title = {Certified programming with dependent types : a pragmatic  introduction to the Coq proof assistant /},
      pages = {1 online resource (xii, 424 pages)},
      url = {http://library.usi.edu/record/1386617},
}