@inproceedings{ jackson_JSP,
  author = {C. A. R. Hoare (edited by Daniel Jackson)},
  title = {The Michael Jackson Design Technique: A study of the theory with applications.},
  booktitle = {ICSE Workshop: A Tribute to Michael Jackson},
  year = {2009}
}

{"_id":{"_str":"537a2c93b3aa04260500471d"},"__v":0,"authorIDs":[],"author_short":["(edited<nbsp>by Daniel<nbsp>Jackson), C.<nbsp>A. R.<nbsp>H."],"bibbaseid":"editednbspbydanielnbspjackson-themichaeljacksondesigntechniqueastudyofthetheorywithapplications-2009","bibdata":{"downloads":0,"bibbaseid":"editednbspbydanielnbspjackson-themichaeljacksondesigntechniqueastudyofthetheorywithapplications-2009","role":"author","year":"2009","type":"inproceedings","title":"The Michael Jackson Design Technique: A study of the theory with applications.","key":"jackson_JSP","id":"jackson_JSP","booktitle":"ICSE Workshop: A Tribute to Michael Jackson","bibtype":"inproceedings","bibtex":"@inproceedings{ jackson_JSP,\n author = {C. A. R. Hoare (edited by Daniel Jackson)},\n title = {The Michael Jackson Design Technique: A study of the theory with applications.},\n booktitle = {ICSE Workshop: A Tribute to Michael Jackson},\n year = {2009}\n}","author_short":["(edited<nbsp>by Daniel<nbsp>Jackson), C.<nbsp>A. R.<nbsp>H."],"author":["(edited by Daniel Jackson), C. A. R. Hoare"]},"bibtype":"inproceedings","biburl":"http://sdg.csail.mit.edu/sdgpub.bib","downloads":0,"keywords":[],"search_terms":["michael","jackson","design","technique","study","theory","applications","(edited<nbsp>by daniel<nbsp>jackson)"],"title":"The Michael Jackson Design Technique: A study of the theory with applications.","year":2009,"dataSources":["S9bD6CiQR3ArYkKtw"]}