%0 Journal Article %1 journals/jucs/KongAM03 %A Kong, Cindy %A Alexander, Perry %A Menon, Catherine %D 2003 %J J. UCS %K dblp %N 11 %P 1322-1349 %T Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language. %U http://dblp.uni-trier.de/db/journals/jucs/jucs9.html#KongAM03 %V 9

@article{journals/jucs/KongAM03, added-at = {2004-03-12T00:00:00.000+0100}, author = {Kong, Cindy and Alexander, Perry and Menon, Catherine}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2dc0265c7a72424c5c60a7bee980c4e23/dblp}, ee = {http://www.jucs.org/jucs_9_11/defining_a_formal_coalgebraic}, interhash = {831a26a9bdfd4b288b1779817dba9bea}, intrahash = {dc0265c7a72424c5c60a7bee980c4e23}, journal = {J. UCS}, keywords = {dblp}, number = 11, pages = {1322-1349}, timestamp = {2016-02-02T10:40:06.000+0100}, title = {Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language.}, url = {http://dblp.uni-trier.de/db/journals/jucs/jucs9.html#KongAM03}, volume = 9, year = 2003 }