Olha Shkaravska Marko C. J. D. van Eekelen Ron van Kesteren Polynomial Size Analysis of First-Order Shapely Functions http://arxiv.org/abs/0902.2073 2009 Logical Methods in Computer Science 5 db/journals/lmcs/lmcs5.html#abs-0902-2073 2