@book{834167,
	author = {Beran Ladislav},
	title = {Orthomodular lattices },
	year = {1985}
}