@book{46407,
	author = {LASKI JANUSZ},
	title = {SOFTWARE VERIFICATION AND ANALYSIS},
	address = {MEXICO D.F.},
	edition = {1 PRIMERA EDIC.}
}