@misc{BackMikhailovaSekerinski96StepwiseInterfaceRefinement,
	address = {Oslo, Norway},
	title = {Stepwise {Development} of {Object}-{Oriented} {Programs} with {Interface} {Refinement}},
	url = {https://web.archive.org/web/19970606115810/http://www.ifi.uio.no:80/~nwpt96/},
	author = {Back, R. J. and Mikhaljova, A. and Sekerinski, E.},
	month = dec,
	year = {1996},
}

{"_id":"DJcNNZsuqiAbaiYub","bibbaseid":"back-mikhaljova-sekerinski-stepwisedevelopmentofobjectorientedprogramswithinterfacerefinement-1996","author_short":["Back, R. J.","Mikhaljova, A.","Sekerinski, E."],"bibdata":{"bibtype":"misc","type":"misc","address":"Oslo, Norway","title":"Stepwise Development of Object-Oriented Programs with Interface Refinement","url":"https://web.archive.org/web/19970606115810/http://www.ifi.uio.no:80/~nwpt96/","author":[{"propositions":[],"lastnames":["Back"],"firstnames":["R.","J."],"suffixes":[]},{"propositions":[],"lastnames":["Mikhaljova"],"firstnames":["A."],"suffixes":[]},{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["E."],"suffixes":[]}],"month":"December","year":"1996","bibtex":"@misc{BackMikhailovaSekerinski96StepwiseInterfaceRefinement,\n\taddress = {Oslo, Norway},\n\ttitle = {Stepwise {Development} of {Object}-{Oriented} {Programs} with {Interface} {Refinement}},\n\turl = {https://web.archive.org/web/19970606115810/http://www.ifi.uio.no:80/~nwpt96/},\n\tauthor = {Back, R. J. and Mikhaljova, A. and Sekerinski, E.},\n\tmonth = dec,\n\tyear = {1996},\n}\n\n\n","author_short":["Back, R. J.","Mikhaljova, A.","Sekerinski, E."],"key":"BackMikhailovaSekerinski96StepwiseInterfaceRefinement","id":"BackMikhailovaSekerinski96StepwiseInterfaceRefinement","bibbaseid":"back-mikhaljova-sekerinski-stepwisedevelopmentofobjectorientedprogramswithinterfacerefinement-1996","role":"author","urls":{"Paper":"https://web.archive.org/web/19970606115810/http://www.ifi.uio.no:80/~nwpt96/"},"metadata":{"authorlinks":{}}},"bibtype":"misc","biburl":"https://api.krunk.cn/emil/bib.php","dataSources":["HEdahWqKBpmSGmDwq","MF5eGzpJnqf6bSAoG","ienufKdnmJs49AsjR","So4gmSWFmbQRNEuFs","ezsmw4w22u9JFLNYJ","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"],"keywords":[],"search_terms":["stepwise","development","object","oriented","programs","interface","refinement","back","mikhaljova","sekerinski"],"title":"Stepwise Development of Object-Oriented Programs with Interface Refinement","year":1996}