Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca. Operational, denotational and logical descriptions: a case study. Fundamenta Informaticae, 16(1):149-169, 1992.
@article{EgidiHR92, title = {Operational, denotational and logical descriptions: a case study}, author = {Lavinia Egidi and Furio Honsell and Simona Ronchi Della Rocca}, year = {1992}, tags = {case study}, researchr = {https://researchr.org/publication/EgidiHR92}, cites = {0}, citedby = {0}, journal = {Fundamenta Informaticae}, volume = {16}, number = {1}, pages = {149-169}, }