Pseudo-Boolean Methods for bivalent programming - Rudeanu, Sergiu (1966)