A. A. Angehrn

• The ICDT model