Visible theories and translators - Milton, J (Tradterm, 1996)