Van Horn D.  2009.  The complexity of flow analysis in higher-order languages.