@book{110353,
	author = {Conference on Operating Systems and Knuth, E.,},
	title = {Specification and design of software systems :},
	publisher = {Springer-Verlag,},
	year = {1983},
	address = {Berlin :}
}