Greensmith, Julie, Gale, Michael B., "The Functional Dendritic Cell Algorithm: A formal specification with Haskell", , 2017