@book{7580,
	author = {Lamport, Leslie},
	title = {Latex},
	year = {2003}
}