Natalia López, Manuel Núñez, Ismael Rodríguez. Assessing the Expressivity of Formal Specification Languages. In Michael Johnson, Varmo Vene, editors, Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings. Volume 4019 of Lecture Notes in Computer Science, pages 220-234, Springer, 2006. [doi]
Abstract is missing.