Algebraic Data Structure Refinement with the Lübeck Transformation System.

TitleAlgebraic Data Structure Refinement with the Lübeck Transformation System.
Publication TypeJournal Article
Year of Publication2001
AuthorsDosch, W, Magnussen, S
Bibtex: 
@article {654,
	title = {Algebraic Data Structure Refinement with the L{\"u}beck Transformation System.},
	year = {2001},
	note = {In: K. Indermark, T. Noll (Hrsg): Kolloquium Programmiersprachen und Grundlagen der Programmierung. Rurberg, Oktober 7-10, 2001. Aachener Informatik Berichte AIB 2001-11: RWTH Aachen 2001, 7-12 [ISSN 0935-3232]},
	author = {W. Dosch and Magnussen, S.}
}