Max-Linear Systems: Theory and Algorithms by Peter Butkovic