Exported entries (BibTeX)

@article { buchsG00-1692,
	year = {2000},
	title = {A Formal Specification Framework for Object-Oriented Distributed Systems},
	journal = {IEEE Transactions on Software Engineering},
	volume = {26},
	number = {7},
	pages = {635-652},
	author = {Didier Buchs and Nicolas Guelfi}
}