Rawle Prince Neil Ghani Conor McBride Proving Properties about Lists Using Containers. 97-112 2008 FLOPS http://dx.doi.org/10.1007/978-3-540-78969-7_9 conf/flops/2008 db/conf/flops/flops2008.html#PrinceGM08