Patrick Baillot Proceedings International Workshop on Developments in Implicit Computational complExity DICE http://dx.doi.org/10.4204/EPTCS.23 2010 EPTCS 23 db/series/eptcs/eptcs23.html