@book{93189,
	author = {IBM Symposium on Mathematical Foundations of Computer Science},
	title = {Proceedings of the Fifth IBM Symposium on Mathematical Foundations of Computer Science :},
	publisher = {s.n.,},
	year = {1980},
	address = {Hakone :}
}