Search
2006
with Maibaum Tom, Alencar Paulo
in: Algebra, meaning, and computation, Dordrecht : Springer
