P-Functions and Boolean Matrix Factorization: A Unified Approach for Wired, Programmed, and Microprogrammed Implementations of Discrete Algorithms (Lecture Notes in Computer Science)