"F. Guidi:" +
@("http://doi.acm.org/10.1145/1614431.1614436"
"The Formal System λδ") +
"(<span class=\"emph delta\">2009-11</span>)." +
"F. Guidi:" +
@("http://doi.acm.org/10.1145/1614431.1614436"
"The Formal System λδ") +
"(<span class=\"emph delta\">2009-11</span>)." +