@book{399,
	author = {Davey, B.A. and Priestley, H.A.},
	title = {Introduction to lattices and order},
	publisher = {Cambridge University Press},
	year = {2009},
	address = {New York},
	edition = {2nd ed.}
}