@phdthesis {PUBA92,
	title = {Formal System Design for Intelligent Artifacts},
	author = {Benjamin Dittes},
	year = {2011},
	publisher = {HRI-EU},
	institution = {Technische Fakultaet, Universitaet Bielefeld}
}