Cadenas de acciones mediante formas no finitas, sujetos compartidos y cambios controlados de referencia.
