. van Harmelen, F., de Mantaras, R. L., Malec, J., & Treur, J. Treur, J. & Wetter, T., editors. Comparing Formal Specification Languages, pages 257-282. Ellis Horwood, 1992.
Comparing Formal Specification Languages [pdf]Paper  bibtex   

Downloads: 0