@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}
}