@article{Biel-etal-09-JLAP,
	author = {N. Bielova and N. Dragoni and F. Massacci and K. Naliuka and I. Siahaan},
	title = {Matching in security-by-contract for mobile code},
	journal = {Journal of Logic and Algebraic Programming},
	volume = {78},
	number = {5},
	pages = {340--358},
	year = {2009},
}