A Formal Model for Investment Strategies to Enable Automated Stock Portfolio Management. - Jörg Gottschlich; Nikolas Forst; Oliver Hinz (ICIS, 2014)