@misc{Wang2000,
annote = {Imported from personal bibliography of Thomas Weiler.},
author = {Wang, Enoch Y and Cheng, Betty H C},
title = {{Formalizing the Functional Model within Object-Oriented Design}},
year = {2000}
}

{"_id":"uTLTKb4GvfMQd7PH8","bibbaseid":"wang-cheng-formalizingthefunctionalmodelwithinobjectorienteddesign-2000","downloads":0,"creationDate":"2017-09-05T15:16:01.231Z","title":"Formalizing the Functional Model within Object-Oriented Design","author_short":["Wang, E. Y","Cheng, B. H C"],"year":2000,"bibtype":"misc","biburl":"https://www2.swc.rwth-aachen.de/docs/booksHL.bib","bibdata":{"bibtype":"misc","type":"misc","annote":"Imported from personal bibliography of Thomas Weiler.","author":[{"propositions":[],"lastnames":["Wang"],"firstnames":["Enoch","Y"],"suffixes":[]},{"propositions":[],"lastnames":["Cheng"],"firstnames":["Betty","H","C"],"suffixes":[]}],"title":"Formalizing the Functional Model within Object-Oriented Design","year":"2000","bibtex":"@misc{Wang2000,\nannote = {Imported from personal bibliography of Thomas Weiler.},\nauthor = {Wang, Enoch Y and Cheng, Betty H C},\ntitle = {{Formalizing the Functional Model within Object-Oriented Design}},\nyear = {2000}\n}\n","author_short":["Wang, E. Y","Cheng, B. H C"],"key":"Wang2000","id":"Wang2000","bibbaseid":"wang-cheng-formalizingthefunctionalmodelwithinobjectorienteddesign-2000","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["formalizing","functional","model","within","object","oriented","design","wang","cheng"],"keywords":[],"authorIDs":[],"dataSources":["mBXRzXXyMLZtcDe8E"]}