Computer simplification of formulas in linear systems theory. - J. William Helton; Mark Stankus; John J. Wavrik (IEEE Trans. Autom. Control., 1998)