Daniel Spoonhower Cost semantics for space usage in a parallel language. 34-36 2007 DAMP http://doi.acm.org/10.1145/1248648.1248655 conf/popl/2007damp db/conf/popl/damp2007.html#Spoonhower07