@book{1158,
	author = {Grabmayer Clemens},
	title = {Relating Proof Systems for Recursive Types},
	publisher = {Geboren te Linz, Oostengijk},
	year = {2005}
}