Finite Machine Word Library
by Joel Beeren, Matthew Fernandez, Xin Gao, Gerwin Klein, Rafal Kolanski, Japheth Lim, Corey Lewis, Daniel Matichuk and Thomas Sewell
Rafal Kolanski
2016
2012
Separation Algebra
by Gerwin Klein, Rafal Kolanski and Andrew Boyton