Ionescu, C. (2016). Vulnerability modelling with functional programming and dependent types. Mathematical Structures in Computer Science, 26(1), 114-128. doi:10.1017/S0960129514000139.