@book{1089,
	author = {Henderson, Peter},
	title = {Object-oriented specification and design with C++ },
	publisher = {McGraw-Hill Book Co.},
	year = {1993},
	address = {London}
}