Operating systems design and implementation. Legal systems: the adversarial and inquisitorial systems.