Programs from Proofs - A PCC Alternative. - Daniel Wonisch; Alexander Schremmer; Heike Wehrheim (CAV, 2013)

Zero Overhead Runtime Monitoring. - Daniel Wonisch; Alexander Schremmer; Heike Wehrheim (SEFM, 2013)

Programs from Proofs - Approach and Applications. - Daniel Wonisch; Alexander Schremmer; Heike Wehrheim (Software Engineering, 2014)