Walter Dosch, Sönke Magnussen. Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications. In C. V. Ramamoorthy, Roger Y. Lee, Kyung-Whan Lee, editors, Software Engineering Research and Applications, First International Conference, SERA 2003, San Francisco, CA, USA, June 25-27, 2003, Selected Revised Papers. Volume 3026 of Lecture Notes in Computer Science, pages 7-33, Springer, 2003. [doi]
Abstract is missing.