Formula choice calculus. - Spencer Hubbard; Eric Walkingshaw (FOSD, 2016)