@book{Widera2001PhD,
title={Complete Type Inference in Functional Programming},
author={Manfred Widera},
school={University of Hagen, Germany},
year=2001,
note={(PhD thesis, Dept.\ of Computer Science, FernUniversit\"{a}t
		  Hagen)},
publisher={Mensch \& Buch Verlag, Berlin}
}