@book{6669,
	author = {Raichl, Jiri, ed.},
	title = {Information Processing Machines 18.},
	publisher = {Publishing House of the Czechoslovak,},
	year = {1975.}
}