On Progressive Filtration Expansions with a Process; Applications to Insider Trading | Arena Library | Arena