1. Computable analysis;Aberth,1980
2. Aczel, P.H.G. (1968) Saturated intuitionistic theories, in: H.A. Schmidt et al. (1968) pp. 1-11.
3. Aczel, P.H.G. (1977) An introduction to inductive definitions, in: Barwise (1977), pp. 739-782.
4. The type-theoretic interpretation of constructive set theory;Aczel,1978
5. Allen, S.F. see Constable et al. (1986).