@doctoralThesis{Müller_2016,
title={On confluence and semantic full abstraction of lambda calculus languages},
author={Müller, Fritz},
doi={http://dx.doi.org/10.22028/D291-26678},
subtitle={Über Konfluenz und semantische vollständige Abstraktion von Lambda-Kalkül-Sprachen},
year={2016}
}