@article{liskov1975specification,
  title={Specification techniques for data abstractions},
  author={Liskov, Barbara H., and Stephen N. Zilles},
  journal={IEEE Transactions on Software Engineering},
  volume={1},
  number={1},
  pages={7--19},
  year={1975},
  publisher={IEEE}
}

{"_id":"yQqXf78YhWawxXxRv","bibbaseid":"liskov-zilles-specificationtechniquesfordataabstractions-1975","downloads":0,"creationDate":"2017-03-31T20:02:49.161Z","title":"Specification techniques for data abstractions","author_short":["Liskov, B. H.","Zilles, S. N."],"year":1975,"bibtype":"article","biburl":"https://gist.githubusercontent.com/anonymous/4c13c493bef2a3e7dfa47f352f7fd4e8/raw/2b922f63fcee0c692b22bd9c23ffb827d4552235/references.bib","bibdata":{"bibtype":"article","type":"article","title":"Specification techniques for data abstractions","author":[{"propositions":[],"lastnames":["Liskov"],"firstnames":["Barbara","H."],"suffixes":[""]},{"firstnames":["Stephen","N."],"propositions":[],"lastnames":["Zilles"],"suffixes":[]}],"journal":"IEEE Transactions on Software Engineering","volume":"1","number":"1","pages":"7--19","year":"1975","publisher":"IEEE","bibtex":"@article{liskov1975specification,\n title={Specification techniques for data abstractions},\n author={Liskov, Barbara H., and Stephen N. Zilles},\n journal={IEEE Transactions on Software Engineering},\n volume={1},\n number={1},\n pages={7--19},\n year={1975},\n publisher={IEEE}\n}\n\n","author_short":["Liskov, B. H.","Zilles, S. N."],"key":"liskov1975specification","id":"liskov1975specification","bibbaseid":"liskov-zilles-specificationtechniquesfordataabstractions-1975","role":"author","urls":{},"downloads":0},"search_terms":["specification","techniques","data","abstractions","liskov","zilles"],"keywords":[],"authorIDs":[],"dataSources":["WpbD7vSrpsYg8ShK9"]}