@book{DBLP:books/daglib/0024034,
  author    = {Daniel Jackson},
  title     = {Software Abstractions - Logic, Language, and Analysis},
  publisher = {MIT Press},
  year      = {2006},
  isbn      = {978-0-262-10114-1},
  pages     = {I-XVI, 1-350},
}

{"_id":"c6stkXHtgt3AZbjQG","bibbaseid":"jackson-softwareabstractionslogiclanguageandanalysis-2006","author_short":["Jackson, D."],"bibdata":{"bibtype":"book","type":"book","author":[{"firstnames":["Daniel"],"propositions":[],"lastnames":["Jackson"],"suffixes":[]}],"title":"Software Abstractions - Logic, Language, and Analysis","publisher":"MIT Press","year":"2006","isbn":"978-0-262-10114-1","pages":"I-XVI, 1-350","bibtex":"@book{DBLP:books/daglib/0024034,\n author = {Daniel Jackson},\n title = {Software Abstractions - Logic, Language, and Analysis},\n publisher = {MIT Press},\n year = {2006},\n isbn = {978-0-262-10114-1},\n pages = {I-XVI, 1-350},\n}\n\n","author_short":["Jackson, D."],"key":"DBLP:books/daglib/0024034","id":"DBLP:books/daglib/0024034","bibbaseid":"jackson-softwareabstractionslogiclanguageandanalysis-2006","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"book","biburl":"https://groups-csail-mit-edu.ezproxy.canberra.edu.au/sdg/sdgpub.bib","dataSources":["t9Kc2YBfktMvKserb","MautteQst6amcB23d"],"keywords":[],"search_terms":["software","abstractions","logic","language","analysis","jackson"],"title":"Software Abstractions - Logic, Language, and Analysis","year":2006}