@mastersthesis {547,
	title = {Modeling and Analysis of Software Product Line Variability in Clafer},
	volume = {PhD},
	year = {2013},
	month = {11/2013},
	school = {University of Waterloo},
	url = {http://hdl.handle.net/10012/8039},
	author = {B{\k a}k, Kacper}
}