@PhdThesis{Biel-11-PHDTHESIS,
author = {Nataliia Bielova},
title = {A theory of constructive and predictable runtime enforcement mechanisms},
year = {2011},
school = {University of Trento},
}