%0 Journal Article %1 journals/eatcs/EhrigC90 %A Ehrig, Hartmut %A Claßen, Ingo %D 1990 %J Bulletin of the EATCS %K dblp %P 145-153 %T Overview of algebraic specification languages, enviroments and tools, and algebraic specifications of software systems(Part 3). %U http://dblp.uni-trier.de/db/journals/eatcs/eatcs41.html#EhrigC90 %V 41

@article{journals/eatcs/EhrigC90, added-at = {2003-07-08T00:00:00.000+0200}, author = {Ehrig, Hartmut and Claßen, Ingo}, biburl = {https://www.bibsonomy.org/bibtex/2513f5098649d8fbd3c7279cc17360cf3/dblp}, date = {2003-07-08}, description = {dblp}, interhash = {c1a70d330f667b7026b9444abf3ebb47}, intrahash = {513f5098649d8fbd3c7279cc17360cf3}, journal = {Bulletin of the EATCS}, keywords = {dblp}, pages = {145-153}, timestamp = {2003-07-08T00:00:00.000+0200}, title = {Overview of algebraic specification languages, enviroments and tools, and algebraic specifications of software systems(Part 3).}, url = {http://dblp.uni-trier.de/db/journals/eatcs/eatcs41.html#EhrigC90}, volume = 41, year = 1990 }