Search
2006
with Aguirre Nazareno, Maibaum Tom
in: Algebra, meaning, and computation, Dordrecht : Springer
