A modal characterisation of observable machine-behaviour. – Trees as data and file structures. – Infinitary relations. – Full approximability of a class of problems over power sets. – Abstract data types and rewriting systems : Application to the programming of Algebraic Abstract Data Types in PROLOG.