BibTex format
@article{van:2013:10.4204/eptcs.121.1,
author = {van, Bakel S and Barbanera, F and de'Liguoro, U},
doi = {10.4204/eptcs.121.1},
journal = {Electronic Proceedings in Theoretical Computer Science},
pages = {1--17},
title = {Characterisation of Strongly Normalising lambda-mu-Terms},
url = {http://dx.doi.org/10.4204/eptcs.121.1},
volume = {121},
year = {2013}
}