- λδ</span></a> (<span style="font-weight: bold;">2009-10</span>). In ACM ToCL 11(1),
- Article
- No. 5 (<a href="http://tocl.acm.org/accepted/335guidi.pdf">accepted</a>
+ λδ</span></a> (<span style="font-weight: bold;">2009-11</span>). In ACM ToCL 11(1),
+ pp. 5:1-5:37
+ (<a href="http://tocl.acm.org/accepted/335guidi.pdf">accepted</a>