Deriving Object-Oriented Specifications from Algebraic Specifications through Refinement.

@article {528,
	title = {Deriving Object-Oriented Specifications from Algebraic Specifications through Refinement.},
	year = {2007},
	note = {Doctoral thesis. G{\"o}ttingen: Cuvillier Verlag 2007. x+159 pages [ISBN 978-3-86727-452-4]},
	author = {B. D{\"o}lle}
}