John V Tucker
Computational models of measurement and Hempel's axiomatization
2010
in: Causality, meaningful complexity and embodied cognition, Dordrecht : Springer
Elementary algebraic specifications of the rational complex numbers
2006
in: Algebra, meaning, and computation, Dordrecht : Springer