Machine assisted proofs in the theory of monadsAltenkirch, Thorsten; Chapman, James; Uustalu, Tarmo21st Nordic Workshop on Programming Theory : NWPT 2009 : Lyngby, Denmark, 14-16 October 2009 : proceedings2009 / p. 83-85 https://jmchapman.io/papers/Assisted_Monads.pdf

Model checking emerging behavior properties of robot swarmsJuurik, Silver; Vain, Jüri21st Nordic Workshop on Programming Theory : NWPT 2009 : Lyngby, Denmark, 14-16 October 2009 : proceedings2009 / p. 68-70 https://www.researchgate.net/publication/228525009_Model_checking_of_emergent_behaviour_properties_of_robot_swarms