Joao Pita Costa: Skew Boolean algebras.