@article{DBLP:journals/cacm/Jackson09,
  author    = {Daniel Jackson},
  title     = {A direct path to dependable software},
  journal   = {Commun. ACM},
  volume    = {52},
  number    = {4},
  year      = {2009},
  pages     = {78-88},
url_paper={pubs/2009/dnj-cacm-4-09.pdf}
}

{"_id":"nezTL9HrGFzHfFuW9","bibbaseid":"jackson-adirectpathtodependablesoftware-2009","author_short":["Jackson, D."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Daniel"],"propositions":[],"lastnames":["Jackson"],"suffixes":[]}],"title":"A direct path to dependable software","journal":"Commun. ACM","volume":"52","number":"4","year":"2009","pages":"78-88","url_paper":"pubs/2009/dnj-cacm-4-09.pdf","bibtex":"@article{DBLP:journals/cacm/Jackson09,\n author = {Daniel Jackson},\n title = {A direct path to dependable software},\n journal = {Commun. ACM},\n volume = {52},\n number = {4},\n year = {2009},\n pages = {78-88},\nurl_paper={pubs/2009/dnj-cacm-4-09.pdf}\n}\n\n","author_short":["Jackson, D."],"key":"DBLP:journals/cacm/Jackson09","id":"DBLP:journals/cacm/Jackson09","bibbaseid":"jackson-adirectpathtodependablesoftware-2009","role":"author","urls":{" paper":"https://groups-csail-mit-edu.ezproxy.canberra.edu.au/sdg/pubs/2009/dnj-cacm-4-09.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://groups-csail-mit-edu.ezproxy.canberra.edu.au/sdg/sdgpub.bib","dataSources":["t9Kc2YBfktMvKserb","MautteQst6amcB23d"],"keywords":[],"search_terms":["direct","path","dependable","software","jackson"],"title":"A direct path to dependable software","year":2009}