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