Monografia (1984) micro–PROLOG : programming in logicMonografia (1996) Geometry of electromagnetic systems