Definability and infinitely deep languages - Heikkilä, Heikki (I. Mathematica : Dissertationes, 1993)