@article {CBO05,
	title = {From Algebras to Objects: Generation and Composition},
	journal = {Journal of Universal Computer Science},
	volume = {11},
	number = {10},
	year = {2005},
	pages = {1580{\textendash}1612},
	abstract = {<p>This paper addresses objectification, a formal specification technique which inspects the potential for object-orientation of a declarative model and brings the {\textquoteright}implicit objects{\textquoteright} explicit. Criteria for such objectification are formalized and implemented in a runnable prototype tool which embeds Vdm-sl into Vdm++. The paper also includes a quick presentation of a (coinductive) calculus of such generated objects, framed as generalised Moore machines.</p>
},
	doi = {10.3217/jucs-011-10-1580},
	attachments = {https://haslab.uminho.pt/sites/default/files/jno/files/jucs_11_10_1580_1612_cruz_lsb.pdf},
	author = {A. Cruz and Luis Soares Barbosa and Jos{\'e} Nuno Oliveira}
}