Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications.

@article {630,
	title = {Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications.},
	year = {2003},
	note = {In: R.Y. Lee, K. W. Lee (eds.): Proceedings of the First International Conference on Software Engineering - Research and Applications, SERA 2003. San Francisco, June 25-27, 2003. Mount Pleasant, MI: The International Association for Computer and Information Science 2003, 211-218 [ISBN 0-9700776-6-1]},
	author = {W. Dosch and Magnussen, S.}
}