@book{81834,
	author = {FASE 2002 and Kutsche, Ralf-Detlef, and ETAPS 2002},
	title = {Fundamental approaches to software engineering :},
	publisher = {Springer,},
	year = {2002.},
	address = {Berlin ;},
	url = {http://www.loc.gov/catdir/enhancements/fy0817/2002021224-d.html}
}