@INPROCEEDINGS{KudlekTotzkeZetzsche2008,
	AUTHOR		= {Kudlek, Manfred and Totzke, Patrick and Zetzsche, Georg},
	TITLE		= {Multiset Storage Automata},
	BOOKTITLE	= {Proc. of the Workshop on Concurrency, Specification and Programming (CS{\&}P 2008)},
	EDITOR		= {Burkhard, H.-D. and Czaja, Ludwik and Lindemann, G. and Skowron, A.},
	VOLUME		= {2},
	PAGES		= {265--277},
	YEAR		= {2008}
}