%0 Journal Article %1 journals/ipl/JifengH93 %A He, Jifeng %A Hoare, C. A. R. %D 1993 %J Inf. Process. Lett. %K dblp %N 2 %P 75-80 %T From Algebra to Operational Semantics. %U http://dblp.uni-trier.de/db/journals/ipl/ipl45.html#JifengH93 %V 45

@article{journals/ipl/JifengH93, added-at = {2022-04-05T00:00:00.000+0200}, author = {He, Jifeng and Hoare, C. A. R.}, biburl = {https://www.bibsonomy.org/bibtex/2448d3dd275f3a917a989784047dba952/dblp}, ee = {https://doi.org/10.1016/0020-0190(93)90219-Y}, interhash = {59590adcc382b64e8aa74531ecbc8580}, intrahash = {448d3dd275f3a917a989784047dba952}, journal = {Inf. Process. Lett.}, keywords = {dblp}, number = 2, pages = {75-80}, timestamp = {2024-04-08T12:08:16.000+0200}, title = {From Algebra to Operational Semantics.}, url = {http://dblp.uni-trier.de/db/journals/ipl/ipl45.html#JifengH93}, volume = 45, year = 1993 }