@book{70298,
	author = {International Workshop on Software Specification and Design and IEEE Computer Society.},
	title = {[Proceedings of the] Tenth International workshop on software specification and design :},
	publisher = {IEEE Computer Society,},
	year = {2000.},
	address = {Los Alamitos, Calif. :},
	note = {"IEEE Computer Society Order number PR00884"--T.p. verso.}
}