Search
(2000-2009)
2006
with Sernadas Cristina
in: Algebra, meaning, and computation, Dordrecht : Springer