Gian Luigi Ferrari, Ugo Montanari, Roberto Raggi, Emilio Tuosto. From Co-algebraic Specifications to Implementation: The Mihda Toolkit. In Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures. Volume 2852 of Lecture Notes in Computer Science, pages 319-338, Springer, 2002. [doi]
Abstract is missing.