Unlocking Computer Systems with Boolean Algebra