In this paper, syntax and semantics of some part of TrafoLa are formally presented. It overrides the previous papers Notes on TrafoLa, I - III containing a preliminary description of TrafoLa, by incorporating the changes discussed in Notes on TrafoLa, IV.
[Paper.ps.gz
(21p, 48k, from troff, reformatted)]