Title: Biblio RTF Export
Author: Biblio 7.x

Van Horn D, Might M.  2011.  Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis. arXiv:1105.1743 [cs].