@mastersthesis{mscDylla09,
	author = "Maximilian Dylla",
	title =	"A Verification System for the Distributed Object-Oriented Language {C}reol",
	school = "Chalmers University of Technology",
	address = "Gothenburg, Sweden",
	month =	"June",
	year = "2009"
}