Dr. Tomas Hruz Institute of Theoretical Computer Science, ETH Zurich, retired tomas (at) sdxnet.com