Matrices and matroids for systems analysis - Murota, Kazuo, (Springer,)