Dreyer, Derek Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;
Dreyer, D., Ahmed, A., & Birkedal, L. (2011). Logical Step-Indexed Logical Relations. SPECIAL ISSUE: Selected Papers of the Conference ''Logic in Computer Science 2009'', 1-37. doi:10.2168/LMCS-7(2:16)2011.