@mastersthesis{grosskopf-xbpmn,
	Author = {Grosskopf, A.},
	School = {Master's thesis, Hasso Plattner Institute for IT Systems Engineering, Potsdam, Germany (July 2007)},
	Title = {{xBPMN - Formal Control Flow Specification of a BPMN based Process Execution Language}},
	Url = {http://www.myhpi.de/~alexander.grosskopf/xBPMN_thesis.pdf}}