@ARTICLE{CLSS14, 
	author = {Giuseppe Della Penna},
	title = {Model Checking XSL Transformations}, 
	doi = {10.1016/j.cl.2014.03.003},
	journal = {Computer Languages, Systems and Structures},
	editor = {Elsevier},

	pages = {73--97},
	year = {2014},
	month = {7},
	volume = {40},
	number = {2}
	
}