@bachelorsthesis{ruff_12:bachelor,
title = {Computational Soundness of Interactive Primitives},
author = {Tim Ruffing},
year = {2012},
date = {2012-01-01},
school = {Saarland University},
keywords = {}
}