@techreport{broustaut93-avs,
	author      = {Broustaut, Fr{\'e}d{\'e}ric
				   and Fabre, Christian
				   and de Ferri\`{e}re, Fran\c{c}ois
				   and Ivanov, \'{E}ric},
	title       = {Validation and verification program for {ANDF}},
	institution = {OSF Research Institute, Grenoble}, % TODO: location for others
	month       = {3},
	year        = {1993},
	% TODO: no local copy
}