Registros relacionados: A Practical Theory of Reactive Systems :