@book{347628,
	author = {Mammar, Amel},
	title = {A formal approach to derive an aspect oriented programming-based implementation of a secure access control filter},
	year = {2017}
}