%0 Journal Article %1 journals/eatcs/EhrigKO95 %A Ehrig, Hartmut %A Kreowski, Hans-Jörg %A Orejas, Fernando %D 1995 %J Bulletin of the EATCS %K dblp %T Correctness of actualization for parameterized implementation concepts based on constructors and abstractors. %U http://dblp.uni-trier.de/db/journals/eatcs/eatcs56.html#EhrigKO95 %V 56

@article{journals/eatcs/EhrigKO95, added-at = {2003-05-05T00:00:00.000+0200}, author = {Ehrig, Hartmut and Kreowski, Hans-Jörg and Orejas, Fernando}, biburl = {https://www.bibsonomy.org/bibtex/2f4b3bdd66a2f53f45544e62627df09cd/dblp}, date = {2003-05-05}, description = {dblp}, interhash = {4a37813efc3aae322dbc7e8fdc0a4403}, intrahash = {f4b3bdd66a2f53f45544e62627df09cd}, journal = {Bulletin of the EATCS}, keywords = {dblp}, timestamp = {2003-05-05T00:00:00.000+0200}, title = {Correctness of actualization for parameterized implementation concepts based on constructors and abstractors.}, url = {http://dblp.uni-trier.de/db/journals/eatcs/eatcs56.html#EhrigKO95}, volume = 56, year = 1995 }