%0 Book %1 back_05_incremental %A Back, Ralph J. %D 2005 %J : Engineering Theories of Software Intensive Systems %K refinement 2005 \_pdf diagram incremental %P 3--46 %R http://dx.doi.org/10.1007/1-4020-3532-2\_1 %T Incremental Software Construction with Refinement Diagrams %U http://dx.doi.org/10.1007/1-4020-3532-2\_1

@book{back_05_incremental, added-at = {2009-03-10T04:44:07.000+0100}, author = {Back, Ralph J.}, biburl = {https://www.bibsonomy.org/bibtex/2242080466fe68b90ffac09980b6245ee/leonardo}, citeulike-article-id = {1136542}, doi = {http://dx.doi.org/10.1007/1-4020-3532-2\_1}, interhash = {8a7abd3c26825cbbd5c758698eb30a04}, intrahash = {242080466fe68b90ffac09980b6245ee}, journal = {: Engineering Theories of Software Intensive Systems}, keywords = {refinement 2005 \_pdf diagram incremental}, pages = {3--46}, posted-at = {2007-03-02 13:46:19}, priority = {4}, timestamp = {2009-03-10T04:44:07.000+0100}, title = {Incremental Software Construction with Refinement Diagrams}, url = {http://dx.doi.org/10.1007/1-4020-3532-2\_1}, year = 2005 }