%0 Journal Article %1 journals/eatcs/Ehrig06b %A Ehrig, Hartmut %D 2006 %J Bulletin of the EATCS %K dblp %P 131-133 %T Revie of Dines Bjørner's Textbooks Software Engineering 1-3. %U http://dblp.uni-trier.de/db/journals/eatcs/eatcs90.html#Ehrig06b %V 90

@article{journals/eatcs/Ehrig06b, added-at = {2012-03-20T00:00:00.000+0100}, author = {Ehrig, Hartmut}, biburl = {https://www.bibsonomy.org/bibtex/2093057889131973588a253b04d6b8ff1/dblp}, interhash = {b66f43952033b057f1aa5db5702ca505}, intrahash = {093057889131973588a253b04d6b8ff1}, journal = {Bulletin of the EATCS}, keywords = {dblp}, pages = {131-133}, timestamp = {2012-03-21T11:33:49.000+0100}, title = {Revie of Dines Bjørner's Textbooks Software Engineering 1-3.}, url = {http://dblp.uni-trier.de/db/journals/eatcs/eatcs90.html#Ehrig06b}, volume = 90, year = 2006 }