Mechanizing the Refinement of Data Structures with the Lübeck Transformation System.

@article {640,
	title = {Mechanizing the Refinement of Data Structures with the L{\"u}beck Transformation System.},
	year = {2002},
	note = {In: J. Vain, T. Uustalu (eds.): Proceedings of the 14th Nordic Workshop on Programming. Tallinn, Estonia, November 20-22, 2002. Tallinn: Institute of Cybernetics, Technical University of Tallinn 2002, 35-38 [ISBN 9985-894-50-2].},
	author = {W. Dosch and Magnussen, S.}
}