%0 Book Section %1 sannella_00_algebraic %A Sannella, Donald %D 2000 %J Logic-Based Program Synthesis and Transformation %K refinement algebraic_specification 2000 %P 1--9 %R 10.1007/10720327_1 %T Algebraic Specification and Program Development by Stepwise Refinement %U http://dx.doi.org/10.1007/10720327_1 %X Various formalizations of the concept of ^a€oerefinement step"i¿½? as used in the formal development of programs from algebraic specifications are presented and compared.

@incollection{sannella_00_algebraic, abstract = {Various formalizations of the concept of ^{a}€{oe}refinement step"{i}¿½? as used in the formal development of programs from algebraic specifications are presented and compared.}, added-at = {2009-02-12T11:44:01.000+0100}, author = {Sannella, Donald}, biburl = {https://www.bibsonomy.org/bibtex/2c1058e7aa937684d19c55879df5ee3dd/leonardo}, citeulike-article-id = {1583234}, doi = {10.1007/10720327_1}, interhash = {49b9c6bbc69c556be9e0723d57f62566}, intrahash = {c1058e7aa937684d19c55879df5ee3dd}, journal = {Logic-Based Program Synthesis and Transformation}, keywords = {refinement algebraic_specification 2000}, pages = {1--9}, posted-at = {2007-08-22 16:04:23}, priority = {2}, timestamp = {2009-02-12T11:44:01.000+0100}, title = {Algebraic Specification and Program Development by Stepwise Refinement}, url = {http://dx.doi.org/10.1007/10720327_1}, year = 2000 }