Vafeiadis, Viktor Group V. Vafeiadis, Max Planck Institute for Software Systems, Max Planck Society;
Vafeiadis, V. (2013). Adjustable References. In S. Blazy, C. Paulin-Mohring, & D. Pichardie (Eds.), Interactive Theorem Proving (pp. 328-337). Berlin: Springer. doi:10.1007/978-3-642-39634-2_24.