Text this: P-functions and Boolean matrix factorization : a unified approach for wired, programmed, and microprogrammed implementations of discrete algorithms / André Thayse.