@article{DBLP:journals/tosem/Jackson95a,
  author    = {Daniel Jackson},
  title     = {Structuring Z Specifications with Views},
  journal   = {ACM Trans. Softw. Eng. Methodol.},
  volume    = {4},
  number    = {4},
  year      = {1995},
  pages     = {365-389},
}

{"_id":"vjrR8cf8QXLFLTR6j","bibbaseid":"jackson-structuringzspecificationswithviews-1995","author_short":["Jackson, D."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Daniel"],"propositions":[],"lastnames":["Jackson"],"suffixes":[]}],"title":"Structuring Z Specifications with Views","journal":"ACM Trans. Softw. Eng. Methodol.","volume":"4","number":"4","year":"1995","pages":"365-389","bibtex":"@article{DBLP:journals/tosem/Jackson95a,\n author = {Daniel Jackson},\n title = {Structuring Z Specifications with Views},\n journal = {ACM Trans. Softw. Eng. Methodol.},\n volume = {4},\n number = {4},\n year = {1995},\n pages = {365-389},\n}\n\n","author_short":["Jackson, D."],"key":"DBLP:journals/tosem/Jackson95a","id":"DBLP:journals/tosem/Jackson95a","bibbaseid":"jackson-structuringzspecificationswithviews-1995","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"https://groups.csail.mit.edu/sdg/sdgpub.bib","dataSources":["t9Kc2YBfktMvKserb"],"keywords":[],"search_terms":["structuring","specifications","views","jackson"],"title":"Structuring Z Specifications with Views","year":1995}