Botta, N., Ionescu, C., Brady, E. (2013): Sequential decision problems, dependently typed solutions - Sequential decision problems, dependently typed solutions.