[nextos]

Boyd has published a related book which is a bit more elementary but still great: https://web.stanford.edu/~boyd/vmls/