Persona

Monografia (1983) The computer modelling of mathematical reasoning
Monografia (1986) Catalogue of artificial intelligence tools
Monografia (1990) Catalogue of artificial intelligence techniques