@MISC{0473Eckhardt1992,
	AUTHOR = {Jost Eckhardt},
	TITLE = {TBUG-Der TPOS Debugger},
	SCHOOL = {Technische Universit{\"a}t Berlin},
	YEAR = {1992},
	MONTH = sep
}