@misc{Sekerinski93RefinementAlgebraOOP,
	address = {London},
	title = {Refinement {Algebra} for {Object}-{Oriented} {Programming}},
	language = {(extended abstract)},
	author = {Sekerinski, E.},
	month = dec,
	year = {1993},
}

{"_id":"nLLvCBKEPsbqXjcGn","bibbaseid":"sekerinski-refinementalgebraforobjectorientedprogramming-1993","author_short":["Sekerinski, E."],"bibdata":{"bibtype":"misc","type":"misc","address":"London","title":"Refinement Algebra for Object-Oriented Programming","language":"(extended abstract)","author":[{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["E."],"suffixes":[]}],"month":"December","year":"1993","bibtex":"@misc{Sekerinski93RefinementAlgebraOOP,\n\taddress = {London},\n\ttitle = {Refinement {Algebra} for {Object}-{Oriented} {Programming}},\n\tlanguage = {(extended abstract)},\n\tauthor = {Sekerinski, E.},\n\tmonth = dec,\n\tyear = {1993},\n}\n\n","author_short":["Sekerinski, E."],"key":"Sekerinski93RefinementAlgebraOOP","id":"Sekerinski93RefinementAlgebraOOP","bibbaseid":"sekerinski-refinementalgebraforobjectorientedprogramming-1993","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"misc","biburl":"https://api.krunk.cn/emil/bib.php","dataSources":["HEdahWqKBpmSGmDwq","yBNL6zg4bd77wFNse","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"],"keywords":[],"search_terms":["refinement","algebra","object","oriented","programming","sekerinski"],"title":"Refinement Algebra for Object-Oriented Programming","year":1993}