@article{broustaut95-verification,
	author      = {Broustaut, Fr{\'e}d{\'e}ric
	               and Fabre, Christian
	               and de Ferri\`{e}re, Fran\c{c}ois
	               and Ivanov, \'{E}ric
	               and Fiorentini, Mauro},
	title       = {Verification of {ANDF} Components},
	journal     = {SIGPLAN Workshop on Intermediate Representations},
	volume      = {30},
	number      = {3},
	month       = {3},
	year        = {1995},
	pages       = {103--110},
	series      = {IR '95},
	publisher   = {ACM},
	address     = {New York, NY, USA},
	doi         = {10.1145/202530.202540},
	issn        = {0362-1340},
	isbn        = {0-89791-754-5},
	file        = {Broustaut95-verification.pdf},
}