
@article {inp:PopescuHoelzlNipkow2013a,
	title = {Formal Verification of Language-Based Concurrent Noninterference},
	journal = {J. Formalized Reasoning},
	volume = {6},
	number = {1},
	year = {2013},
	pages = {1-30},
	author = {A. Popescu and J. H{\"o}lzl and T. Nipkow}
}
