On recursive free types in Z /
Smith, A.
Royal Signals and Radar Establishment (Great Britain)
Malvern : Royal Signals and Radar Establishment,
1991.
Includes bibliography.
Mathematical models.