Konieczny, J. (2005). A Proof of Devadze's Theorem on Generators of the Semigroup of Boolean Matrices. , .