Annalisa Bossi, Nicoletta Cocco, Massimo Fabris. Typed Norms. In Bernd Krieg-Brückner, editor, ESOP 92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings. Volume 582 of Lecture Notes in Computer Science, pages 73-92, Springer, 1992.
@inproceedings{BossiCF92, title = {Typed Norms}, author = {Annalisa Bossi and Nicoletta Cocco and Massimo Fabris}, year = {1992}, researchr = {https://researchr.org/publication/BossiCF92}, cites = {0}, citedby = {0}, pages = {73-92}, booktitle = {ESOP 92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings}, editor = {Bernd Krieg-Brückner}, volume = {582}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-55253-7}, }